{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,1]],"date-time":"2022-04-01T23:02:27Z","timestamp":1648854147005},"reference-count":13,"publisher":"World Scientific Pub Co Pte Lt","issue":"06","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Int. J. Found. Comput. Sci."],"published-print":{"date-parts":[[2014,9]]},"abstract":"<jats:p>In this paper we introduce a subfamily of synchronized alternating pushdown automata, one-turn synchronized alternating pushdown automata, which accept the same class of languages as those generated by linear conjunctive grammars. This equivalence of models of computation is analogous to the classical equivalence between one-turn pushdown automata and linear grammars, thus strengthening the claim of synchronized alternating pushdown automata as a natural counterpart of conjunctive grammars.<\/jats:p>","DOI":"10.1142\/s0129054114500336","type":"journal-article","created":{"date-parts":[[2014,10,28]],"date-time":"2014-10-28T07:47:17Z","timestamp":1414482437000},"page":"781-802","source":"Crossref","is-referenced-by-count":1,"title":["LINEAR CONJUNCTIVE GRAMMARS AND ONE-TURN SYNCHRONIZED ALTERNATING PUSHDOWN AUTOMATA"],"prefix":"10.1142","volume":"25","author":[{"given":"TAMAR","family":"AIZIKOWITZ","sequence":"first","affiliation":[{"name":"Department of Computer Science, Technion \u2013 Israel Institute of Technology, Haifa 32000, Israel"}]},{"given":"MICHAEL","family":"KAMINSKI","sequence":"additional","affiliation":[{"name":"Department of Computer Science, Technion \u2013 Israel Institute of Technology, Haifa 32000, Israel"}]}],"member":"219","published-online":{"date-parts":[[2014,10,28]]},"reference":[{"key":"p_4","doi-asserted-by":"publisher","DOI":"10.1007\/s00236-013-0177-3"},{"key":"p_5","doi-asserted-by":"crossref","first-page":"1","DOI":"10.3233\/FI-2013-870","volume":"126","author":"Baader F.","year":"2013","journal-title":"Fundamenta Informaticae"},{"key":"p_6","doi-asserted-by":"publisher","DOI":"10.1145\/322234.322243"},{"key":"p_7","first-page":"16","volume":"15","author":"Gruska K. Culik II, J.","year":"1984","journal-title":"Computer Mathematics"},{"key":"p_8","doi-asserted-by":"publisher","DOI":"10.1080\/00207176608921438"},{"key":"p_10","first-page":"408","volume":"2","author":"Kupferman O.","year":"2001","journal-title":"Computational Logic"},{"key":"p_11","first-page":"519","volume":"6","author":"Okhotin A.","year":"2001","journal-title":"Combinatorics"},{"key":"p_12","doi-asserted-by":"publisher","DOI":"10.1023\/A:1020213411126"},{"key":"p_13","first-page":"1103","volume":"14","author":"Okhotin A.","year":"2003","journal-title":"Computer Science"},{"key":"p_14","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(02)00543-1"},{"key":"p_15","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(02)00853-8"},{"key":"p_16","first-page":"69","volume":"38","author":"Okhotin A.","year":"2004","journal-title":"Applications"},{"key":"p_17","doi-asserted-by":"publisher","DOI":"10.1016\/0022-0000(78)90030-2"}],"container-title":["International Journal of Foundations of Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.worldscientific.com\/doi\/pdf\/10.1142\/S0129054114500336","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,8,26]],"date-time":"2020-08-26T05:31:06Z","timestamp":1598419866000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.worldscientific.com\/doi\/abs\/10.1142\/S0129054114500336"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,9]]},"references-count":13,"journal-issue":{"issue":"06","published-online":{"date-parts":[[2014,10,28]]},"published-print":{"date-parts":[[2014,9]]}},"alternative-id":["10.1142\/S0129054114500336"],"URL":"https:\/\/doi.org\/10.1142\/s0129054114500336","relation":{},"ISSN":["0129-0541","1793-6373"],"issn-type":[{"value":"0129-0541","type":"print"},{"value":"1793-6373","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014,9]]}}}