Decision problems for language equations

DOI10.1016/j.jcss.2009.08.002zbMath1201.68067MaRDI QIDQ972384

Alexander Okhotin

Publication date: 25 May 2010

Published in: Journal of Computer and System Sciences (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jcss.2009.08.002

zbMATH Keywords

Boolean operations; computability; language equations

Mathematics Subject Classification ID

68Q45: Formal languages and automata

03D05: Automata and formal grammars in connection with logical questions

68Q17: Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.)

Uses Software

• ALGOL 60