Serĉrezultoj

...teco). Tio plene prosperis pri la [[propozicia kalkulo]]; tio maleblas pri formalaj sistemoj pli malsimplaj. ...io de [[algoritmo]]j. Ĝi estas studata en la teorio de [[Formala gramatiko|formalaj gramatikoj]]. ...

...la minusstrekon en [[programlingvo]]j kaj aliaj [[Formala lingvo|formalaj lingvoj]] [[Komputado|komputadaj]], kie la celatan sencon (ekz‑e ĉu streketo aŭ min ...n prezenton en la plej ofta ĝia apliko, en la programoj kaj aliaj formalaj lingvoj; kaj sekve de tio en prozo oni nun emas duobligi la minusstrekojn prezentaj ...

[[Kategorio:Formalaj lingvoj]] ...

...iko''' aŭ simple '''gramatiko''' en la teorio de [[formala lingvo|formalaj lingvoj]] estas metodo de priskribo de formala lingvo. Ĉiu formala lingvo ''L'' baz ...plej klasika kaj uzata matematika aparato por generantaj gramatikoj estas formalaj gramatikoj de [[Noam Chomsky]], kiuj esence estas aroj de linioj. Klare, ke ...

[[Kategorio:Formalaj lingvoj]] ...

...j. Alivorte, ĝi studas ĉiujn eblajn strukturojn en [[natura lingvo|naturaj lingvoj]]. Kompreneble, priskribo de ĉiaj formoj de iu ajn homa lingvo estas laboro ...lingvoj ŝuldiĝas al ekzisto de parametroj determinantaj la varieblon inter lingvoj aŭ inter variaĵoj de iu sama lingvo ([[parametro]]j). Do, analizante lingvo ...

[[Kategorio:Formalaj lingvoj]] ...

...cio ĉiam produktus rezulton <tt>''y''</tt>. Iam tio bezonigas renomadon de formalaj argumentoj. Ekzemple, en la ĉi-suba formulo la litero <tt>''y''</tt> unue e Funkciaj lingvoj ne estas la solaj kiuj subtenas funkciojn kiel objektojn de unua klaso. Sen ...

...e ĉiu teoremo kiu havas pruvon de modera longo, pro tio ke [[formala pruvo|formalaj pruvoj]] povas facile esti agnoskitaj en polinoma tempo. Ekzemplaj problemo Ne estas sciata ĉu polinomo-tempaj algoritmoj ekzisti por '''NP'''-plenaj lingvoj. Sed se tiaj algoritmoj ekzistas, iu el ili estas jam sciata. Ekzemple, jen ...

..., en terminoj kiuj povas esti konsiderataj aparte de ilia signifo. Ĉi tiuj formalaj terminoj estas manipulitaj per la reguloj de matematiko kaj [[logiko]], kaj ...pli uzatan lingvaĵon, kaj havis sintezajn difinojn kaj tradukojn al pluraj lingvoj de la tiama Eŭropa Komunumo. La Matematika vortaro Esperanta-Ĉeĥa-Germana d ...

...]]j kaj aliaj statistikaj datum-prezentoj. Tio imitas uzadon en iuj gentaj lingvoj, sed en Esperanto tia malpreciza uzado impresas nenature, eĉ misgvide, kaj Formalaj studoj pri dedukta statistiko datiĝas el arabaj [[matematikistoj]] kaj [[Kr ...

...Panini ankaŭ estas la antaŭulo al la moderna teorio de [[Formala gramatiko|formalaj gramatikoj]] (grava en komputiko), dum la [[Panini-Backus formo]] uzata de ...tematikajn konojn al pli vastaj tavoloj de la socio, kaj nome en la naciaj lingvoj. Tiutempe aperas ankaŭ la unuaj ĉeĥaj kalkulolibroj, el kiuj la unuaj estas ...