Llenguatge formal: diferència entre les revisions
Contingut suprimit Contingut afegit
m Revertides les edicions de 188.119.240.76. Si penseu que és un error, deixeu un missatge a la meva discussió. |
|||
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]].
|