{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,2,19]],"date-time":"2024-02-19T22:45:31Z","timestamp":1708382731199},"reference-count":13,"publisher":"Springer Science and Business Media LLC","issue":"5","license":[{"start":{"date-parts":[[2014,3,29]],"date-time":"2014-03-29T00:00:00Z","timestamp":1396051200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Acta Informatica"],"published-print":{"date-parts":[[2014,8]]},"DOI":"10.1007\/s00236-014-0199-5","type":"journal-article","created":{"date-parts":[[2014,3,29]],"date-time":"2014-03-29T00:45:42Z","timestamp":1396053942000},"page":"327-337","source":"Crossref","is-referenced-by-count":2,"title":["Controlled finite automata"],"prefix":"10.1007","volume":"51","author":[{"given":"Alexander","family":"Meduna","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Petr","family":"Zemek","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2014,3,29]]},"reference":[{"key":"199_CR1","unstructured":"Csuhaj-Varj\u00fa, E., Masopust, T., Vaszil, G.: Blackhole state-controlled regulated pushdown automata. In: Second Workshop on Non-Classical Models for Automata and Applications (NCMA 2010) pp. 45\u201356 (2010)"},{"issue":"2\u20133","key":"199_CR2","doi-asserted-by":"crossref","first-page":"137","DOI":"10.3233\/FI-2011-584","volume":"112","author":"E Csuhaj-Varj\u00fa","year":"2011","unstructured":"Csuhaj-Varj\u00fa, E., Masopust, T., Vaszil, G.: Blackhole pushdown automata. Fundam. Inform. 112(2\u20133), 137\u2013156 (2011)","journal-title":"Fundam. Inform."},{"key":"199_CR3","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-74932-2","volume-title":"Regulated Rewriting in Formal Language Theory","author":"J Dassow","year":"1989","unstructured":"Dassow, J., P\u0103un, G.: Regulated Rewriting in Formal Language Theory. Springer, Berlin (1989)"},{"key":"199_CR4","volume-title":"Introduction to Automata Theory, Languages, and Computation","author":"J Hopcroft","year":"2000","unstructured":"Hopcroft, J., Motwani, R., Ullman, J.D.: Introduction to Automata Theory, Languages, and Computation, 2nd edn. Addison-Wesley, Boston (2000)","edition":"2"},{"key":"199_CR5","unstructured":"Jantzen, M., Kudlek, M., Zetzsche, G.: Finite automata controlled by Petri nets. In: Proceedings of the 14th Workshop; Algorithmen und Werkzeuge f\u00fcr Petrinetze. Technical Report Nr. 25\/2007, pp. 57\u201362. Universit\u00e4t Koblenz-Landau (2007)"},{"issue":"4","key":"199_CR6","first-page":"653","volume":"2000","author":"D Kol\u00e1\u0159","year":"2000","unstructured":"Kol\u00e1\u0159, D., Meduna, A.: Regulated pushdown automata. Acta Cybern. 2000(4), 653\u2013664 (2000)","journal-title":"Acta Cybern."},{"issue":"21","key":"199_CR7","first-page":"1001","volume":"2001","author":"D Kol\u00e1\u0159","year":"2001","unstructured":"Kol\u00e1\u0159, D., Meduna, A.: One-turn regulated pushdown automata and their reduction. Fundam. Inform. 2001(21), 1001\u20131007 (2001)","journal-title":"Fundam. Inform."},{"key":"199_CR8","unstructured":"Kol\u00e1\u0159, D., Meduna, A.: Regulated automata: from theory towards applications. In: Proceeding of 8th International Conference on Information Systems Implementation and Modelling (ISIM\u201905) pp. 33\u201348 (2005)"},{"key":"199_CR9","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4471-0501-5","volume-title":"Automata and Languages: Theory and Applications","author":"A Meduna","year":"2000","unstructured":"Meduna, A.: Automata and Languages: Theory and Applications. Springer, London (2000)"},{"issue":"1","key":"199_CR10","first-page":"135","volume":"18","author":"A Meduna","year":"2007","unstructured":"Meduna, A., Masopust, T.: Self-regulating finite automata. Acta Cybern. 18(1), 135\u2013153 (2007)","journal-title":"Acta Cybern."},{"key":"199_CR11","doi-asserted-by":"crossref","unstructured":"Rozenberg, G., Salomaa, A. (eds.): Handbook of Formal Languages, Vol. 2: Linear Modeling: Background and Application. Springer, New York (1997)","DOI":"10.1007\/978-3-662-07675-0"},{"key":"199_CR12","unstructured":"Rychnovsk\u00fd, L.: Regulated pushdown automata revisited. In: Proceedings of the 15th Conference STUDENT EEICT 2009, pp. 440\u2013444. Faculty of Information Technology BUT, Brno, CZ (2009)"},{"key":"199_CR13","volume-title":"Theory of Computation: A Primer","author":"D Wood","year":"1987","unstructured":"Wood, D.: Theory of Computation: A Primer. Addison-Wesley, Boston (1987)"}],"container-title":["Acta Informatica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00236-014-0199-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00236-014-0199-5\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00236-014-0199-5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,8,17]],"date-time":"2020-08-17T00:27:18Z","timestamp":1597624038000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00236-014-0199-5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,3,29]]},"references-count":13,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2014,8]]}},"alternative-id":["199"],"URL":"https:\/\/doi.org\/10.1007\/s00236-014-0199-5","relation":{},"ISSN":["0001-5903","1432-0525"],"issn-type":[{"value":"0001-5903","type":"print"},{"value":"1432-0525","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014,3,29]]}}}