Inductive definability in formal language theory
作者：
Highlights：
•
摘要
A concept of predicative inductive definability is introduced, where predicativity is restricted in a linguistically acceptable manner. This concept is in contrast to the monadic inductive definability inherent to all rewriting systems. The resulting grammars may be regarded as schemata for language-perception experiments; i.e., they are sets of instructions transforming strings where the whole process can be visualized in its entirety.
论文关键词：
论文评审过程：Received 20 October 1976, Revised 20 June 1977, Available online 2 December 2003.
论文官网地址：https://doi.org/10.1016/0022-0000(78)90025-9
