A keresés eredménye
Ugrás a navigációhoz
Ugrás a kereséshez
- …kifejezéssel és rövidítéssel '''context-free grammar''' ('''CFG''') egy [[formális nyelvtan]], amelyben minden produkciós szabály a következő formájú: …''w''-vel, függetlenül attól, hogy milyen környezetben fordul V elő. Egy [[formális nyelv]] akkor [[környezetfüggetlen nyelv|környezetfüggetlen]] ha környezetf …2 KB (300 szó) - 2021. június 29., 15:00
- …a]] a függvényt, ugyanazt kapjuk, mintha csak egyszer alkalmaztuk volna. A formális definíció [[#Definíció|lentebb]] található. ==Formális nyelvek== …4 KB (653 szó) - 2023. április 24., 12:15
- Egy '''reguláris nyelv''' minden esetben egy [[formális nyelv]] (ugyanis: egy véges ábécéből létrehozható, véges hosszúságú sorozat …konkatenáció), és az ''A''* ([[Kleene csillag]]) nyelvek szintén reguláris nyelvek. …5 KB (779 szó) - 2021. január 16., 18:42
- …oros kifejezési módot értenek. Jelen cikkben a formális nyelvet a formális nyelvek elmélete szerint értjük, és minden esetben szigorúan csak írott nyelvről be …zhalmaz|részhalmazát]]. Szokásos még az <math>A\, </math> '''ábécé feletti formális nyelv''' megnevezés is. …11 KB (1 828 szó) - 2023. április 24., 12:19
- A DFA a [[reguláris nyelv]]ek halmazába tartozó nyelvek felismerésénél használható, más nyelveknél nem alkalmazható. == Formális meghatározás == …5 KB (905 szó) - 2023. augusztus 5., 10:11
- == Formális meghatározás == Az automata által elfogadott stringek halmaza egy [[formális nyelv|nyelvi]] forma, az a nyelv, amelyet az NFA felismer. Ez a nyelv egy… …7 KB (1 229 szó) - 2023. április 24., 12:20
- …atika]]i értelemben egy [[absztrakt struktúra]], amely pontosan leír egy [[formális nyelv]]et. …leíró [[nyelvtan]]ok között bizonyos analógiák figyelhetők meg. A formális nyelvek …16 KB (2 759 szó) - 2023. augusztus 5., 10:12
- Mivel egy [[formális nyelv]]et több nyelvtan is generálhat, egy nyelvnek több automatája is lehe * Bach Iván. ''Formális nyelvek''. Egyetemi tankönyv, második kiadás, Typotex Kiadó, 2001. 2.3. fejezet: Mi …7 KB (1 222 szó) - 2024. április 28., 07:01
- …k (például karakter stringek, jelsorozatok) halmaza, amelyekkel a formális nyelvek elmélete foglalkozik. A fent leírt automaták által elfogadott nyelvek családja a [[reguláris nyelv]]ek családja. Más automaták komplikáltabb nyel …15 KB (2 489 szó) - 2024. január 20., 21:06
- …lái alapból nem tartalmaznak logikai változókat, mivel maguk a nulladrendű nyelvek sem tartalmaz ilyeneket). …em precíz, köznapi, elmosódott interpretálása a fogalomnak. A pontosabb és formális definíciót lásd [[#Definíció|lentebb]]. …7 KB (1 334 szó) - 2018. március 20., 01:12
- …] az [[elsőrendű nyelv]]ekkel foglalkozó ága. Az elsőrendű nyelvek olyan [[formális nyelv]]ek, melyekben lehetőség van az individuumváltozók [[kvantifikáció|kv == Elsőrendű nyelvek == …17 KB (2 640 szó) - 2023. november 5., 22:30
- …lligence (IJCAI 2009), Pasadena, California, pp. 2083-2088.</ref> formális nyelvek, egyed-kapcsolat modellek,<ref>A. H. Doan, A. Y. Halevy. [http://pages.cs.w == Formális definíció == …9 KB (1 519 szó) - 2023. augusztus 28., 19:17
- …kat ''formuláknak'' nevezik, a formulák egy tetszőleges halmazát pedig ''(formális) elméleteknek.'' A formulák, illetve elméletek a megfelelő kontextusba hely A modellelméletben [[konzisztencia|konzisztensnek]] nevezzük az olyan formális elméleteket (nyelveket), melyekhez található a nyelv axiómáit teljesítő [[m …23 KB (4 283 szó) - 2023. november 24., 14:43
- …atikában]], a logikában és az elméleti számítástechnikában használt számos formális nyelvet kizárólag szintaktikai kifejezésekkel határozzák meg, és mint ilyen A leggyakrabban tanulmányozott formális logikák a propozíciós logika, a predikátumlogika és ezek modális analógiája …31 KB (5 591 szó) - 2025. február 27., 21:31
- …mi pedig az ebben a hagyományban dolgozó nyelvészeket illeti, hajlamosak a nyelvek egy igen kis mintáját alapul venni, ha az univerzális grammatika saját igén …y nyelvészetében lévő formalizmusok hamis színben tüntetik fel a nem angol nyelvek bizonyos kellékeit. Néhány pszichológus szimpatizált ugyan Chomsky összefog …23 KB (3 853 szó) - 2025. február 24., 18:52
- …[Halmaz (matematika)|halmaz]]a; szerepe az, hogy univerzumul szolgál egy e nyelvek vizsgálata számára fontos és hasznos eszköznek, a [[Herbrand-interpretáció] === Formális definíció === …6 KB (1 082 szó) - 2023. április 24., 12:15
- Hamblin a [[formális logika]] tanulmányozása során ismerte meg és használta fel Łukasiewicz munk …f>Az ötletadó Łukasiewicz-féle lengyel jelölés sem tűnt el: például a LISP-nyelvek napjainkban is használják.</ref> …9 KB (1 669 szó) - 2023. október 11., 13:17
- …''regular expression'' után) egy olyan, bizonyos [[Szintaxis (programozási nyelvek)|szintaktikai]] szabályok szerint leírt [[string]], amivel meghatározható… A reguláris kifejezések pontos [[Szintaxis (programozási nyelvek)|szintaxisa]] a változó eszközök és alkalmazások miatt egységesen nem adhat …34 KB (6 019 szó) - 2024. január 30., 22:31
- * A ''határozatlan'' a [[polinom]]ok és [[formális hatványsor]]ok elméletének egyik alapfogalma, szigorúbb felépítésben egyált …k, amik megengedik az érték mellett az adat típusának tárolását is. Ezek a nyelvek paraméter szerinti többalakú függvények írását is lehetővé teszik. Ezek a… …22 KB (4 236 szó) - 2023. május 28., 11:24
- …[logika]] azon területe, mely a [[természetes nyelv]]ek vagy a természetes nyelvek valamely jól meghatározott töredékének [[nyelvtan]]át logikai szempontok sz …erkezeteket kategóriákba sorolja. Egy konkrét [[elsőrendű nyelv]] esetén a formális definíciók néha elfedik a kifejezések és formulák nyelvben játszott szerepé …22 KB (3 779 szó) - 2019. június 23., 12:36