Llenguatge formal: diferència entre les revisions

Contingut suprimit Contingut afegit
Línia 12:
 
* Un conjunt de totes les paraules sobre <math>\{a, b\}\, </math>.
* El conjunt <math>\{a^n: n \ 'primer'\}\, </math>.
* 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]].