The paper claims generation and recognition in formal languages diverge along computational complexity, ambiguity, directionality, information availability, grammar inference, and temporality, with directionality and temporality newly framed as distinct dimensions and linked to surprisal.
Ranta, Grammatical framework: A type-theoretical grammar formalism, Journal of Functional Programming 14 (2004) 145–189
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.CL 1years
2026 1verdicts
UNVERDICTED 1representative citing papers
citing papers explorer
-
The Generation-Recognition Asymmetry: Six Dimensions of a Fundamental Divide in Formal Language Theory
The paper claims generation and recognition in formal languages diverge along computational complexity, ambiguity, directionality, information availability, grammar inference, and temporality, with directionality and temporality newly framed as distinct dimensions and linked to surprisal.