{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,5,21]],"date-time":"2024-05-21T21:10:11Z","timestamp":1716325811537},"reference-count":10,"publisher":"World Scientific Pub Co Pte Lt","issue":"04","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Int. J. Found. Comput. Sci."],"published-print":{"date-parts":[[2009,8]]},"abstract":"<jats:p> Our aim is to present an efficient algorithm that checks whether a binary regular language is geometrical or not, based on specific properties of its minimal deterministic automaton. Geometrical languages have been introduced in the framework of off-line temporal validation of real-time softwares. Actually, validation can be achieved through both a model based on regular languages and a model based on discrete geometry. Geometrical languages are intended to develop a link between these two models. The regular case is of practical interest regarding to implementation features, which motivates the design of an efficient geometricity test addressing the family of regular languages. <\/jats:p>","DOI":"10.1142\/s0129054109006863","type":"journal-article","created":{"date-parts":[[2009,7,29]],"date-time":"2009-07-29T11:44:22Z","timestamp":1248867862000},"page":"763-774","source":"Crossref","is-referenced-by-count":4,"title":["AN EFFICIENT ALGORITHM TO TEST WHETHER A BINARY AND PROLONGEABLE REGULAR LANGUAGE IS GEOMETRICAL"],"prefix":"10.1142","volume":"20","author":[{"given":"JEAN-MARC","family":"CHAMPARNAUD","sequence":"first","affiliation":[{"name":"LITIS, University of Rouen, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"JEAN PHILIPPE","family":"DUBERNARD","sequence":"additional","affiliation":[{"name":"LITIS, University of Rouen, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"HADRIEN","family":"JEANNE","sequence":"additional","affiliation":[{"name":"LITIS, University of Rouen, France"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"219","published-online":{"date-parts":[[2012,4,30]]},"reference":[{"key":"rf1","volume-title":"Automates, Langages et G\u00e9om\u00e9trie","author":"Blanpain B.","year":"2006"},{"key":"rf3","doi-asserted-by":"crossref","unstructured":"S. K.\u00a0Baruah, L. E.\u00a0Rosier and R. R.\u00a0Howell, Algorithms and Complexity Concerning the Preemptive Scheduling of Periodic, Real-Time Tasks on one Processor, Real-Time Systems\u00a02 (Kluwer Academic Press, 1990)\u00a0pp. 301\u2013324.","DOI":"10.1007\/BF01995675"},{"key":"rf4","volume-title":"Automata, Languages and Machines, Vol. A and B","author":"Eilenberg S.","year":"1976"},{"key":"rf5","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2007.03.054"},{"key":"rf6","doi-asserted-by":"crossref","unstructured":"S. C.\u00a0Kleene, Representation of events in nerve nets and finite automata (Automata Studies, Princeton Univ. Press, Princeton, N.J., 1956)\u00a0pp. 2\u201342.","DOI":"10.1515\/9781400882618-002"},{"key":"rf9","first-page":"46","author":"Liu C. L.","journal-title":"Journal of the ACM"},{"key":"rf10","volume-title":"Finite automata and the representation of events","author":"Myhill J.","year":"1957"},{"key":"rf11","unstructured":"A.\u00a0Nerode, Linear automata transformations, Proceedings of American Mathematical Society\u00a09 (1958)\u00a0pp. 541\u2013544."},{"key":"rf12","doi-asserted-by":"publisher","DOI":"10.1145\/321356.321364"},{"key":"rf13","volume-title":"El\u00e9ments de th\u00e9orie des automates","author":"Sakarovitch J.","year":"2003"}],"container-title":["International Journal of Foundations of Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.worldscientific.com\/doi\/pdf\/10.1142\/S0129054109006863","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,7]],"date-time":"2019-08-07T04:39:11Z","timestamp":1565152751000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.worldscientific.com\/doi\/abs\/10.1142\/S0129054109006863"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,8]]},"references-count":10,"journal-issue":{"issue":"04","published-online":{"date-parts":[[2012,4,30]]},"published-print":{"date-parts":[[2009,8]]}},"alternative-id":["10.1142\/S0129054109006863"],"URL":"https:\/\/doi.org\/10.1142\/s0129054109006863","relation":{},"ISSN":["0129-0541","1793-6373"],"issn-type":[{"value":"0129-0541","type":"print"},{"value":"1793-6373","type":"electronic"}],"subject":[],"published":{"date-parts":[[2009,8]]}}}