Fòrmula ben formada
En llògica matemàtica, una fòrmula ben formada, també cridada expressió ben formada, i a sovint abreviada fbf o EBF, és una cadena de caràcters o paraula generada segons una gramàtica formal a partir d'un alfabet donat. Un llenguage formal es definix com el conjunt de totes les seues fòrmules ben formades.
Per eixemple, un alfabet podria ser el conjunt {a,b}, i una gramàtica podria definir a les fòrmules ben formades com aquelles cadenes que tenen el mateix número de caràcters a que b. Llavors, algunes fòrmules ben formades del llenguage serien: ab, ba, abab, ababba, etc. El llenguage formal seria el conjunt de totes eixes fòrmules ben formades.
En la Teoria de la demostració, les demostracions són seqüències de fòrmules ben formades en certes propietats, a on l'última fòrmula de la seqüència és allò que es demostra. Esta fòrmula final es diu teorema quan té un paper important en la teoria sent desenrollada, o lema quan eixercita un paper accessori en la demostració d'una teorema.
Vore també
[editar | editar còdic]
- Este artícul conté una traducció derivada de «Fórmula bien formada» de Wikipedia en castellà publicada baix la Llicència de documentació lliure de GNU i la Llicència Creative Commons Reconeiximent-CompartirIgual 4.0 Internacional.