Automatic verification of finite-state concurrent systems using temporal logic specifications
ACM Transactions on Programming Languages and Systems (TOPLAS)
Parsing Languages by Pattern Matching
IEEE Transactions on Software Engineering
Attribute grammars: definitions, systems and bibliography
Attribute grammars: definitions, systems and bibliography
Handbook of theoretical computer science (vol. B)
Handbook of theoretical computer science (vol. B)
Graph rewriting: an algebraic and logic approach
Handbook of theoretical computer science (vol. B)
Handbook of theoretical computer science (vol. B)
Handbook of theoretical computer science (vol. B)
Handbook of theoretical computer science (vol. B)
Algebraic construction of compilers
Theoretical Computer Science
The temporal logic of reactive and concurrent systems
The temporal logic of reactive and concurrent systems
Constraint-based grammar formalisms: parsing and type inference for natural and computer languages
Constraint-based grammar formalisms: parsing and type inference for natural and computer languages
Action semantics
An algebraic approach to language translation
An algebraic approach to language translation
Algebraic tools for language processing
Computer Languages
Algebraic translations, correctness and algebraic compiler construction
AMiLP '95 Proceedings of the first international AMAST workshop on Algebraic methods in language processing
Algebraic processing of programming languages
AMiLP '95 Proceedings of the first international AMAST workshop on Algebraic methods in language processing
PHRASE parsers from multi-axiom grammars
AMiLP '95 Proceedings of the first international AMAST workshop on Algebraic methods in language processing
Initial Algebra Semantics and Continuous Algebras
Journal of the ACM (JACM)
Natural language dialogue for personalized interaction
Communications of the ACM
Revised report on the algorithm language ALGOL 60
Communications of the ACM
Database semantics for natural language
Artificial Intelligence
Foundations of Computational Linguistics: Man-Machine Communication in Natural Language
Foundations of Computational Linguistics: Man-Machine Communication in Natural Language
Categorical Combinators, Sequential Algorithms and Funtional Programming
Categorical Combinators, Sequential Algorithms and Funtional Programming
Introduction To Automata Theory, Languages, And Computation
Introduction To Automata Theory, Languages, And Computation
Generating Model Checkers from Algebraic Specifications
Formal Methods in System Design
Language As a Cognitive Process: Syntax
Language As a Cognitive Process: Syntax
E-learning tools based on transition systems
AIC'08 Proceedings of the 8th conference on Applied informatics and communications
Algebraic model and communication tool of a language
ICCOMP'08 Proceedings of the 12th WSEAS international conference on Computers
Transition systems specified as a communication tool for e-learning
ICCOMP'08 Proceedings of the 12th WSEAS international conference on Computers
Verifiable composition of deterministic grammars
Proceedings of the 2009 ACM SIGPLAN conference on Programming language design and implementation
Hi-index | 5.23 |
This paper discusses a mathematical concept of language that models both artificial and natural languages and thus provides a framework for a unified language processing methodology. This concept of a language is regarded as a communication tool that allows language users to develop knowledges, while interacting with their universe of discourse, and to communicate with each other, while exchanging knowledges. Criteria for consistent usage of a language are established using a Galois connection between language syntax and language semantics. Solutions to ambiguity, paraphrase, attitude, and other problems concerning the relationship between syntax and semantics are addressed. A general schema for language specification is introduced and algorithms that perform language generation and language analysis are discussed as universal tools defined by the specification schema. Language transformations performed by various kinds of translators are examined and correctness criteria of these translators are defined using the language Galois connection. The paper is structured as follows: Section1 introduces the framework and justifies the necessity of a unified methodology for language processing. Section2 presents the mathematical concept of a language. Section3 illustrates the mathematical concept of a language with three kinds of language structures: natural language, logical language, and programming language. Section4 discusses the algebraic mechanism of language specification that unifies the methodology for language processing tool development. Section5 formalizes the criterion for the consistency of the language usage, defines the architecture of a unified language processing system, and shows how the consistency criteria for language usage can be employed as correctness criteria for the algorithms performing various language transformations.