BOOLEAN GRAMMARS AND GSM MAPPINGS

作者:Lehtinen Tommi; Okhotin Alexander*
来源:International Journal of Foundations of Computer Science, 2010, 21(5): 799-815.
DOI:10.1142/S0129054110007568

摘要

It is proved that the language family generated by Boolean grammars is effectively closed under injective gsm mappings and inverse gsm mappings (where gsm stands for a generalized sequential machine).The same results hold for conjunctive grammars, unambiguous Boolean grammars and unambiguous conjunctive grammars

  • 出版日期2010-10