Decidability of the problem of semantic equivalence of words in the class of syntax-directed translations (Q4005329)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Decidability of the problem of semantic equivalence of words in the class of syntax-directed translations |
scientific article |
Statements
Decidability of the problem of semantic equivalence of words in the class of syntax-directed translations (English)
0 references
26 September 1992
0 references
semantic equivalence of words
0 references
syntax-directed translations
0 references
Post's canonical calculus
0 references
generating grammars
0 references
elementary formal system
0 references
