On the Number of Nonterminal Symbols in Unambiguous Conjunctive Grammars

2018 ◽  
Vol 162 (1) ◽  
pp. 43-72
Author(s):  
Artur Jeż ◽  
Alexander Okhotin
Keyword(s):  
2010 ◽  
Vol 21 (05) ◽  
pp. 799-815 ◽  
Author(s):  
TOMMI LEHTINEN ◽  
ALEXANDER OKHOTIN

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.


2017 ◽  
Vol 665 ◽  
pp. 13-39 ◽  
Author(s):  
Artur Jeż ◽  
Alexander Okhotin
Keyword(s):  

Sign in / Sign up

Export Citation Format

Share Document