{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,5]],"date-time":"2022-04-05T22:26:52Z","timestamp":1649197612868},"reference-count":11,"publisher":"Open Publishing Association","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Electron. Proc. Theor. Comput. Sci.","EPTCS"],"DOI":"10.4204\/eptcs.134.2","type":"journal-article","created":{"date-parts":[[2013,11,20]],"date-time":"2013-11-20T09:15:31Z","timestamp":1384938931000},"page":"11-16","source":"Crossref","is-referenced-by-count":1,"title":["Random Generation of Nondeterministic Finite-State Tree Automata"],"prefix":"10.4204","volume":"134","author":[{"given":"Thomas","family":"Hanneforth","sequence":"first","affiliation":[{"name":"Universit\u00e4t Potsdam"}]},{"given":"Andreas","family":"Maletti","sequence":"additional","affiliation":[{"name":"Universit\u00e4t Stuttgart"}]},{"given":"Daniel","family":"Quernheim","sequence":"additional","affiliation":[{"name":"Universit\u00e4t Stuttgart"}]}],"member":"2720","published-online":{"date-parts":[[2013,11,20]]},"reference":[{"issue":"5","key":"bra68","doi-asserted-by":"publisher","first-page":"484","DOI":"10.1016\/S0019-9958(68)90917-0","article-title":"The Minimalization of Tree Automata","volume":"13","author":"Brainerd","year":"1968","journal-title":"Inform. and Control"},{"key":"chahanparzia04","first-page":"203","article-title":"Random Generation Models for NFAs","volume":"9","author":"Champarnaud","year":"2004","journal-title":"J. Autom. Lang. Combin."},{"issue":"5","key":"don70","doi-asserted-by":"publisher","first-page":"406","DOI":"10.1016\/S0022-0000(70)80041-1","article-title":"Tree Acceptors and Some of Their Applications","volume":"4","author":"Doner","year":"1970","journal-title":"J. Comput. System Sci."},{"key":"gecste84","volume-title":"Tree Automata","author":"G\u00e9cseg","year":"1984"},{"key":"gecste97","series-title":"Handbook of Formal Languages","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-642-59126-6_1","article-title":"Tree Languages","volume-title":"Beyond Words","volume":"3","author":"G\u00e9cseg","year":"1997"},{"key":"han10","series-title":"LNCS","doi-asserted-by":"publisher","first-page":"13","DOI":"10.1007\/978-3-642-14684-8_3","article-title":"fsm2 \u2014 A Scripting Language Interpreter for Manipulating Weighted Finite-State Automata","volume-title":"Proc. FSMNLP","volume":"6062","author":"Hanneforth","year":"2010"},{"key":"lensimvoj12","series-title":"LNCS","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1007\/978-3-642-28756-5_7","article-title":"VATA: A Library for Efficient Manipulation of Non-deterministic Tree Automata","volume-title":"Proc. TACAS","volume":"7214","author":"Leng\u00e1l","year":"2012"},{"key":"maykni06","series-title":"LNCS","doi-asserted-by":"publisher","first-page":"102","DOI":"10.1007\/11812128_11","article-title":"Tiburon: A Weighted Tree Automata Toolkit","volume-title":"Proc. CIAA","volume":"4094","author":"May","year":"2006"},{"key":"petbarthikle06","doi-asserted-by":"publisher","first-page":"433","DOI":"10.3115\/1220175.1220230","article-title":"Learning Accurate, Compact, and Interpretable Tree Annotation","volume-title":"Proc. COLING-ACL","author":"Petrov","year":"2006"},{"key":"yu97","series-title":"Handbook of Formal Languages","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1007\/978-3-642-59136-5_2","article-title":"Regular Languages","volume-title":"Word, Language, Grammar","volume":"1","author":"Yu","year":"1997"},{"key":"zij97","volume-title":"Generalized Nondeterminism and the Succinct Representation of Regular Languages","author":"van Zijl","year":"1997"}],"container-title":["Electronic Proceedings in Theoretical Computer Science"],"original-title":[],"language":"en","deposited":{"date-parts":[[2013,12,17]],"date-time":"2013-12-17T22:54:36Z","timestamp":1387320876000},"score":1,"resource":{"primary":{"URL":"http:\/\/arxiv.org\/abs\/1311.5568v1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,11,20]]},"references-count":11,"URL":"https:\/\/doi.org\/10.4204\/eptcs.134.2","relation":{},"ISSN":["2075-2180"],"issn-type":[{"value":"2075-2180","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013,11,20]]}}}