Finite state evaluation of logical formulas : Jevons' approach (1870) and contemporary description

Amblard Paul: Finite state evaluation of logical formulas : Jevons' approach (1870) and contemporary description. In: Acta cybernetica, (17) 4. pp. 665-684. (2006)

[thumbnail of Amblard_2006_ActaCybernetica.pdf]
Előnézet
Cikk, tanulmány, mű
Amblard_2006_ActaCybernetica.pdf

Letöltés (211kB) | Előnézet

Absztrakt (kivonat)

In this paper, we describe a formal language for a class of logical expressions. We then present a Finite State Machine for recognition and evaluation of this language. The main interest of the language is its historical characteristic. This language invented by the British scholar W. Stanley JEVONS in 1865 is probably the earliest language in which expressions were evaluated by a Finite State Machine. The two outstanding contributions were the use of machinery to evaluate formulas and the evaluation of formulas with variables by several parallel evaluations with constants. The contribution of this paper is to present this ancient evaluation process in a contemporary framework, i.e. formal languages and finite state automata. The design of an evaluator is given in great detail.

Mű típusa: Cikk, tanulmány, mű
Befoglaló folyóirat/kiadvány címe: Acta cybernetica
Dátum: 2006
Kötet: 17
Szám: 4
ISSN: 0324-721X
Oldalak: pp. 665-684
Nyelv: angol
Kiadás helye: Szeged
Konferencia neve: International Conference on Automata and Formal Languages (11.) (2005) (Dobogókő)
Befoglaló mű URL: http://acta.bibl.u-szeged.hu/38522/
Kulcsszavak: Számítástechnika, Kibernetika
Megjegyzések: Bibliogr.: p. 682-684. ; összefoglalás angol nyelven
Szakterület: 01. Természettudományok
01. Természettudományok > 01.02. Számítás- és információtudomány
Feltöltés dátuma: 2016. okt. 15. 12:25
Utolsó módosítás: 2022. jún. 15. 13:22
URI: http://acta.bibl.u-szeged.hu/id/eprint/12790
Bővebben:
Tétel nézet Tétel nézet