修改 发表于 2025-3-28 17:43:33

Undecidable Properties of CF-Grammarse special cases of it; a property is undecidable if there exists no such algorithm. In order to establish undecidability, it suffices that it be established for a less general class than the class in question.

construct 发表于 2025-3-28 22:25:29

Push-Down Automataut that in order to deal with real languages, it would be necessary to restrict our point of view and introduce some additional hypotheses. In this way, the CF-languages are associated not with the most general class of combinatorial systems (which is equivalent to the class of Turing machines), but

Acumen 发表于 2025-3-29 00:56:32

Kleene Languages and Finite Automatad to the field of circuit construction and have given rise to numerous results there. These languages were also encountered in another form by Markov, who also recognized their linguistic application. More recently, Shannon has taken up these questions again from the same probabilistic viewpoint as

顶点 发表于 2025-3-29 05:33:45

http://reply.papertrans.cn/48/4738/473710/473710_44.png

SLING 发表于 2025-3-29 07:30:55

http://reply.papertrans.cn/48/4738/473710/473710_45.png

就职 发表于 2025-3-29 14:33:05

http://reply.papertrans.cn/48/4738/473710/473710_46.png

Adenocarcinoma 发表于 2025-3-29 18:00:26

http://reply.papertrans.cn/48/4738/473710/473710_47.png

intimate 发表于 2025-3-29 23:13:55

Combinatorial Systemsvolve problems of a . nature that deal in particular with the words of a free monoid. We shall begin with a presentation of the concepts which allow the rules of deduction in a combinatorial system to be formulated.

怒目而视 发表于 2025-3-30 01:57:22

Context-Free Languages. Presentation. Preliminariesof a vocabulary) and a grammar as an algorithm which allows the words (the sentences) of a language to be enumerated. We also underlined the interest of an algorithm which, given a word (a sentence), would decide whether it belongs to the language or not.

synovium 发表于 2025-3-30 05:46:12

http://reply.papertrans.cn/48/4738/473710/473710_50.png
页: 1 2 3 4 [5] 6 7
查看完整版本: Titlebook: Introduction to Formal Grammars; Maurice Gross,André Lentin Book 1970 Springer-Verlag Berlin · Heidelberg 1970 Finite.Monoid.Morphism.Semi