An algebraic formulation of the Chomsky hierarchy

This publication has 8 references indexed in Scilit:

• An unusual application of program-proving
  Published by Association for Computing Machinery (ACM) ,1973
• Mappings and grammars on trees
  Theory of Computing Systems, 1970
• Full AFLs and nested iterated substitution
  Information and Control, 1970
• Tree generating regular systems
  Information and Control, 1969
• Deductive systems and categories II. Standard constructions and closed categories
  Lecture Notes in Mathematics, 1969
• Grammars with macro-like productions
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1968
• Characterizing derivation trees of context-free grammars through a generalization of finite automata theory
  Journal of Computer and System Sciences, 1967
• On certain formal properties of grammars
  Information and Control, 1959