On simple generators of recursively enumerable languages
作者:
Highlights:
• Polynomial generators for recursively enumerable languages.
• The languages REP={(amb)n|m,n∈N} and BREP={(anb)n|n∈N} possess a catenation closure property.
• Applying classical number theory results in formal languages.
摘要
•Polynomial generators for recursively enumerable languages.•The languages REP={(amb)n|m,n∈N} and BREP={(anb)n|n∈N} possess a catenation closure property.•Applying classical number theory results in formal languages.
论文关键词:Intersection-closed trio,R.e. language,Diophantine equation
论文评审过程:Received 29 April 2014, Accepted 29 May 2014, Available online 23 June 2014.
论文官网地址:https://doi.org/10.1016/j.jcss.2014.05.002