INFORMATICA
Paolo Ercoli
Alberto Marini
Con il termine informatica, neologismo di origine francese, s'indica attualmente una nuova ed emergente disciplina, la quale si occupa di particolari rappresentazioni [...] , cioè con stringhe su {+, −, 0, 1}; il passaggio dalla scrittura in base 4 a quella in base 2 si può vedere come morfismo di monoidi che sostituisce 0 con 00, 1 con 01, 2 con 10 e 3 con 11.
Sull'alfabeto {x, y, z, (,), +, −, • ,/, 0, 1, ..., 9} si ...
Leggi Tutto
Automi e linguaggi formali
Dominique Perrin
La teoria degli automi e dei linguaggi formali ha lo scopo di descrivere le proprietà delle successioni di simboli. Tali successioni si presentano in situazioni [...] S,w)w
di parole w con un coefficiente (S,w). Una serie su un alfabeto A si dice razionale se esiste un morfismo μ da A* nel monoide delle matrici n×n tale che (S,w)=λμ(w)γ per opportuni vettori λ e γ. Questa impostazione algebrica ha il vantaggio di ...
Leggi Tutto
La grande scienza. Automi e linguaggi formali
Dominique Perrin
Automi e linguaggi formali
La teoria degli automi e dei linguaggi formali ha lo scopo di descrivere le proprietà delle successioni di simboli. [...] S,w)w
di parole w con un coefficiente (S,w). Una serie su un alfabeto A si dice razionale se esiste un morfismo μ da A* nel monoide delle matrici n×n tale che (S,w)=λμ(w)γ per opportuni vettori λ e γ. Questa impostazione algebrica ha il vantaggio di ...
Leggi Tutto
monoide
monòide s. m. [comp. di mono- e -oide]. – In algebra: 1. Superficie algebrica irriducibile di ordine n, avente un punto di molteplicità n - 1; il più semplice esempio di monoide è fornito da una quadrica, in cui cioè n = 2 e il punto...
monoideismo
s. m. [comp. di mono- e idea]. – Termine originariamente usato in psicologia, poi divenuto più generico, che indica il comportamento di persona nella quale un’idea sembra imporsi sulle altre, restringendo il campo della coscienza;...