Llenguatge formal: diferència entre les revisions
Contingut suprimit Contingut afegit
m Robot inserta {{Commonscat}} que enllaça amb commons:category:Formal languages |
|||
Línia 12:
* Un conjunt de totes les paraules sobre <math>\{a, b\}\, </math>.
* El conjunt <math>\{a^n: n
* El conjunt de tots els programes sintàcticament vàlids en un determinat [[llenguatge de programació]].
* El conjunt de totes les fórmules ben formades a la [[lògica de primer ordre]].
| |||