Deterministic Algorithms, Simple Languages And One‐to‐One Gentzen Type Formalizations (Q3737416)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Deterministic Algorithms, Simple Languages And One‐to‐One Gentzen Type Formalizations |
scientific article |
Statements
Deterministic Algorithms, Simple Languages And One‐to‐One Gentzen Type Formalizations (English)
0 references
1986
0 references
push down algorithms
0 references
context-free languages
0 references
finite control algorithms
0 references
regular languages
0 references