Resultats de la cerca

...de llenguatges acceptats per un [[autòmat amb pila]], cosa que fa aquests llenguatges adequats per [[Analitzador sintàctic|analitzar sintàcticament]] (''parser'' ...ontext son tancats segons les següents operacions. Sigui ''L'' i ''P'' dos llenguatges lliures de context, el llenguatge resultat també ho es: ...

...com entrada, ja sigui per acceptar-la o per rebutjar-la. També s'anomenen llenguatges decidibles.<ref>{{Ref-llibre|cognom=Michael.|nom=Sipser,|títol=Introduction La [[Classe (matemàtiques)|classe]] de tots els llenguatges recursius s'anomena [[R (Complexitat)|R]]. ...

...re de context|lliures de context]] i [[Llenguatge recursiu|recursius]] son llenguatges enumerables recursivament. La [[Classe (matemàtiques)|classe]] de tots els llenguatges enumerables recursivament s'anomena [[RE (complexitat)|RE]]. ...

Els '''llenguatges indexats''' son una classe de [[llenguatge formal]] descoberta per [[Alfred ...pel [[processament de llenguatge natural]], ja que son generalitzacions de llenguatges lliures del context amb millor computabilitat. ...

...a formal|gramàtiques formals]] que generen [[llenguatge formal|llenguatges formals]]. ...rcel-Paul Schützenberger]], que va desenvolupar la teoria dels llenguatges formals. ...

...[[Llenguatge formal|llenguatges formals]], el '''lema del bombament per a llenguatges regulars''' descriu una propietat essencial de tot llenguatge regular. Info .../material_2003_2004/Lema_Bombeo_Regulares.pdf ''El lema de bombament per a llenguatges regulars (pdf)''], (en castellà), ''Universidad de Zaragoza''. ...

...ue", també es poden caracteritzar com llenguatges sense comptadors i com a llenguatges definits per una lògica temporal lineal.<ref>{{Ref-llibre|cognom=1952-|nom= Tots els llenguatges lliure d'estrella pertanyen a la [[classe de complexitat]] [[AC0|AC<sup>0</ ...

...sity Press|edició = 2a edició|editor = Robert Audi}}</ref> Els llenguatges formals poden definir-se sense necessitat de donar cap significat a les seves expre ...

...ada|fórmules ben formades]] i els [[teorema|teoremes]]. En alguns sistemes formals, però, el conjunt dels teoremes coincideix amb el de les fórmules ben forma ...ge formal, i això és una diferència essencial amb els [[Llenguatge natural|llenguatges naturals]]. ...

...classe de gramàtiques poden generar [[Llenguatge enumerable recursivament|llenguatges enumerables recursivament]].<ref name=:0>{{Ref-llibre|cognom=1939-|nom=Hopc ...sense restriccions caracteritzen els [[Llenguatge enumerable recursivament|llenguatges enumerables recursivament]]. Això és equivalent a dir que per cada gramàtic ...

...ls autòmats amb pila pertanyen al grup dels [[Llenguatge lliure de context|llenguatges lliures del context]] en la [[Jerarquia de Chomsky]].<ref>{{Ref-llibre|cogn {{Llenguatges formals i gramàtiques}} ...

...an encarregar d'estudiar la potència de les màquines com reconeixedores de llenguatges. Finalment, el 1964 [[Kuroda]] descobreix que els llenguatges de tipus 1 són reconeguts pels autòmats linealment acotats. ...

...s'etiqueten com de tipus 3 en la [[jerarquia de Chomsky]] dels llenguatges formals. ...útils en l'anàlisi d'entrades i el disseny de [[Llenguatge de programació|llenguatges de programació]]. ...

...reix a les veritats que es poden derivar ''sobre'' els [[Llenguatge formal|llenguatges]] i sistemes que s'utilitzen per expressar veritats.<ref name=":0">Hunter, ...tació (lògica)|interpretacions]]. L'estudi de la interpretació de sistemes formals és la branca de [[Lògica matemàtica|la lògica matemàtica]] que es coneix co ...

..., ja que els autòmats són classificats sovint per la classe de llenguatges formals que són capaços de reconèixer. ...observar que tots aquests tipus d'autòmats ''' poden acceptar els mateixos llenguatges '''. Sempre es pot construir un AFD que accepti el mateix llenguatge que el ...

...pat per Pierre Boullier el 1998 per intentar caracteritzar uns fenòmens de llenguatges naturals com els números xinesos o l'ordre de les paraules en alemany, que {{Llenguatges formals i gramàtiques}} ...

...gramació|llenguatges de programació]], de fet, la sintaxi de la majoria de llenguatges de programació està definida mitjançant gramàtiques lliures de context. D'a ...gramàtiques lliures de context no estan limitades a llenguatges matemàtics formals. ...

...en decidir per una màquina d'aquest tipus és la dels [[Llenguatge recursiu|llenguatges recursius]]. Tot i això, el [[problema de la parada]], que és decidir si un {{Llenguatges formals i gramàtiques}} ...

...ada|fórmules ben formades]] i els [[teorema|teoremes]]. En alguns sistemes formals, però, el conjunt dels teoremes coincideix amb el de les fórmules ben forma Hi ha diferents tipus de gramàtiques formals que generen llenguatges formals (vegeu la [[Jerarquia de Chomsky]]). Imaginem una gramàtica amb aquestes du ...

|títol = Teoria d'Autòmats i Llenguatges Formals |títol = Introducció a la teoria d'autòmats, Llenguatges i Computació ...