{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,5,29]],"date-time":"2023-05-29T09:11:38Z","timestamp":1685351498822},"reference-count":4,"publisher":"National Library of Serbia","issue":"2","license":[{"start":{"date-parts":[[2010,1,1]],"date-time":"2010-01-01T00:00:00Z","timestamp":1262304000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/creativecommons.org\/licenses\/by-nc-nd\/4.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["ComSIS","COMPUT SCI INF SYST","COMPUT SCI INFORM SY","COMPUTER SCI INFORM","COMSIS J"],"published-print":{"date-parts":[[2010]]},"abstract":"<jats:p>Subtree matching is an important problem in Computer Science on which a number of tasks, such as mechanical theorem proving, term-rewriting, symbolic computation and nonprocedural programming languages are based on. A systematic approach to the construction of subtree pattern matchers by deterministic pushdown automata, which read subject trees in prefix and postfix notation, is presented. The method is analogous to the construction of string pattern matchers: for a given pattern, a nondeterministic pushdown automaton is created and is then determinised. In addition, it is shown that the size of the resulting deterministic pushdown automata directly corresponds to the size of the existing string pattern matchers based on finite automata.<\/jats:p>","DOI":"10.2298\/csis1002331f","type":"journal-article","created":{"date-parts":[[2010,6,9]],"date-time":"2010-06-09T12:29:57Z","timestamp":1276086597000},"page":"331-357","source":"Crossref","is-referenced-by-count":8,"title":["Subtree matching by pushdown automata"],"prefix":"10.2298","volume":"7","author":[{"given":"Tom\u00e1s","family":"Flouri","sequence":"first","affiliation":[{"name":"Department of Computer Science and Engineering, Faculty of Electrical Engineering, Czech Technical University in Prague, Prague, Czech Republic"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jan","family":"Janousek","sequence":"additional","affiliation":[{"name":"Department of Theoretical Computer Science, Faculty of Information Technology, Czech Technical University in Prague, Prague, Czech Republic"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bo\u0159ivoj","family":"Melichar","sequence":"additional","affiliation":[{"name":"Department of Theoretical Computer Science, Faculty of Information Technology, Czech Technical University in Prague, Prague, Czech Republic"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"1078","reference":[{"key":"1","doi-asserted-by":"publisher","DOI":"10.1145\/360825.360855"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1145\/174652.174653"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1145\/322290.322295"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1007\/s00236-009-0104-9"}],"container-title":["Computer Science and Information Systems"],"original-title":[],"language":"en","deposited":{"date-parts":[[2023,5,29]],"date-time":"2023-05-29T08:30:06Z","timestamp":1685349006000},"score":1,"resource":{"primary":{"URL":"https:\/\/doiserbia.nb.rs\/Article.aspx?ID=1820-02141002331F"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"references-count":4,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2010]]}},"URL":"https:\/\/doi.org\/10.2298\/csis1002331f","relation":{},"ISSN":["1820-0214","2406-1018"],"issn-type":[{"value":"1820-0214","type":"print"},{"value":"2406-1018","type":"electronic"}],"subject":[],"published":{"date-parts":[[2010]]}}}