Resultados de la percura

Saltar para a navegação Saltar para a pesquisa
  • ...recoincer lenguaiges que nun puoden ser spressas por spressones regulares formales (''cumo formalmente ye defenido ambaixo''). Na [[hierarquia de chomsky]], lenguaiges regulares son defenidas para ser lenguaiges que son geradas por gramáticas tipo 3 ([[gramática regular|gramática regul ...
    10 KB (1 609 palabras) - 10h50min de 30 de maio de 2013
  • San reconhecedores de [[Lenguaige regular|lenguaiges regulares]] defenidos atrabeç de quíntuplas de la forma: San reconhecedores de Lenguaiges Libres de Cuntesto defenidos atrabeç de la sétupla de la forma: <br> ...
    7 KB (1 227 palabras) - 02h40min de 12 de outubre de 2023
  • ...iéncia de la cumputaçon teórica]], [[lenguísticas teóricas]], [[semánticas formales]], [[matemática lógica]], antre outras árias. ...los i analisando cada un cula gramática de la lenguaige. La maiorie de las lenguaiges ténen ls seneficados de sues eilocuçones struturados d'acuordo cula sintaxe ...
    13 KB (2 084 palabras) - 01h35min de 6 de outubre de 2023
  • ...icas libres-de l-cuntesto son coincidas cumo [[Lenguaige libre de cuntesto|Lenguaiges libres-de l-cuntesto]]. ...trutura de [[Lenguaige de porgramaçon|Lenguaiges de porgramaçon]] i outras lenguaiges artificiales. ...
    21 KB (3 309 palabras) - 01h35min de 18 de outubre de 2023
  • ...to an [[eiditor de testo|eiditores de testo]] i [[lenguaige de porgramaçon|lenguaiges de porgramaçon]], balidaçon de formatos de testo (balidaçon de protocolos ó ...e cumputaçon (outómatas) i formas de çcriçon i classeficaçon de lenguaiges formales. Na [[década de 1950]], l matemático [[Stephen Cole Klene]] çcrebiu tales m ...
    39 KB (6 053 palabras) - 03h08min de 6 de outubre de 2023
  • ...truturas inerentes, cumo por eisemplo la redundáncia de la strutura de las lenguaiges ó de las propiadades statísticas dua lenguaige, relacionadas a las frequénc [[Catadorie:Ciéncias formales]] ...
    9 KB (1 385 palabras) - 03h17min de 6 de outubre de 2023
  • ...mas neurológicos i an [[lenguística]] para çcrebir las gramáticas de las [[lenguaiges naturales]]. ...e la [[Ounion Anternacional de Telecomunicaçones]] i ye ua de las melhores lenguaiges para çcrebir máquinas de stado, pus anclui simblos gráficos para çcrebir la ...
    22 KB (3 642 palabras) - 02h41min de 12 de outubre de 2023
  • ===Porblemas de decison cumo lenguaiges formales=== ...hton|first2=T|issue=1|postscrit=. }}</ref> i capacidade d'ancontrar probas formales de teoremas de la [[matemática pura]].<ref>{{Citation|last=Cok|first=Stephe ...
    49 KB (7 637 palabras) - 01h53min de 18 de márcio de 2024