Natural computation for natural language

作者: Carlos Martín-Vide

DOI: 10.3233/FI-1997-31202

关键词: Recursively enumerable languageProgramming languagePrefix grammarFormal grammarFormal languageComputer sciencePost canonical systemUnrestricted grammarContext-sensitive languageContext-sensitive grammar

摘要: Computation not only takes place in provoked contexts of scientific experimentation, but natural circumstances too. We are going to approach computation contexts. How the nature computes? Turing machines and Chomsky grammars rewriting systems, same is true for Post, Thue, Markov, Lindenmayer other classes axiomatic systems. If, among whole set objects, we focus language description, must say that major trends contemporary linguistics look at syntax as a process. Is unavoidable this case, does our mind work by rewriting, compute way? shall attempt defend answer could be negative. The arguments will come from computability theory well linguistics. First we'll formally explain former ones, then informally latter ones. With regard arguments, see that, using operation adjoining, large generative capacity obtained. This case with contextual grammars. It has recently been proved each recursively enumerable quotient regular generated grammar particular form. Thus, adjoining (paste) (cut) lead computational universality. Recursively languages can also characterized an insertion grammar. result obtained if take splicing operation, formal model DNA recombination. again cut-and-paste operation. On basis proof result, several further characterizations have Computability theory, then, reconstructed without (and non-terminal symbols) any loss power. Our first aim show some aspects such reconstruction. Later, try obtain consequences future development language.

参考文章(8)
Gheorghe Paun, Andrzej Ehrenfeucht, Arto Salomaa, Alexandru Mateescu, Grzegorz Rozenberg, On Representing RE Languages by One-Sided Internal Contextual Languages. Acta Cybernetica. ,vol. 12, pp. 217- 233 ,(1996)
Carlos Martin-Vide, Gheorghe Păun, Arto Salomaa, Characterizations of recursively enumerable languages by means of insertion grammars Theoretical Computer Science. ,vol. 205, pp. 195- 205 ,(1998) , 10.1016/S0304-3975(97)00079-0
Gheorghe Păun, Grzegorz Rozenberg, Arto Salomaa, Computing by splicing Theoretical Computer Science. ,vol. 168, pp. 321- 336 ,(1996) , 10.1016/S0304-3975(96)00082-5
Andrzej Ehrenfeucht, Gheorghe P↑n, Grzegorz Rozenberg, On representing recursively enumerable languages by internal contextual languages Theoretical Computer Science. ,vol. 205, pp. 61- 83 ,(1998) , 10.1016/S0304-3975(97)00035-2
Gheorghe Păun, Regular extended H systems are computationally universal Journal of Automata, Languages and Combinatorics. ,vol. 1, pp. 27- 36 ,(1996)
Gheorghe Păun, On the splicing operation Discrete Applied Mathematics. ,vol. 70, pp. 57- 79 ,(1996) , 10.1016/0166-218X(96)00101-1
Solomon Marcus, Contextual grammars international conference on computational linguistics. pp. 1- 18 ,(1969) , 10.3115/990403.990451