A unified language processing methodology

DOI10.1016/S0304-3975(02)00025-7zbMath0997.68070MaRDI QIDQ1603702

Teodor Rus

Publication date: 15 July 2002

Published in: Theoretical Computer Science (Search for Journal in Brave)

zbMATH Keywords

algorithmGalois connectionlanguagespecificationalgebra

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Natural language processing (68T50)

Uses Software

• ALGOL 60

Cites Work

• Algebraic translations, correctness and algebraic compiler construction
• Algebraic processing of programming languages
• PHRASE parsers from multi-axiom grammars
• Revised report on the algorithmic language ALGOL 60
• Algebraic construction of compilers
• Attribute grammars. Definitions, systems and bibliography
• Generating model checkers from algebraic specifications
• Automatic verification of finite-state concurrent systems using temporal logic specifications
• Parsing languages by pattern matching
• Action Semantics
• Initial Algebra Semantics and Continuous Algebras
• CONTEXT-FREE ALGEBRAS
• Universal grammar
• Database semantics for natural language
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: A unified language processing methodology