Jednostranné gramatiky s nahodilým kontextem

but.committeecs
but.defencecs
but.jazykangličtina (English)
but.programVýpočetní technika a informatikacs
but.resultpráce byla úspěšně obhájenacs
dc.contributor.advisorMeduna, Alexandren
dc.contributor.authorZemek, Petren
dc.contributor.refereeČerná, Ivanaen
dc.contributor.refereeDoc. In.g Petr Sosík, Dr.en
dc.date.accessioned2019-06-14T11:03:27Z
dc.date.available2019-06-14T11:03:27Z
dc.date.createdcs
dc.description.abstractTato disertační práce zavádí jednostranné gramatiky s nahodilým kontextem jako řízené gramatiky založené na bezkontextových gramatikách. V těchto gramatikách je ke každému pravidlu přiřazena množina povolujících symbolů a množina zakazujících symbolů a množina pravidel je rozdělena na množinu levých pravidel s nahodilým kontextem a množinu pravých pravidel s nahodilým kontextem . Levým pravidlem s nahodilým kontextem lze přepsat neterminál pokud se všechny povolující symboly vyskytují vlevo od přepisovaného neterminálu a žádný zakazující symbol tam přítomen není. Pravé pravidlo s nahodilým kontextem lze aplikovat analogicky, ale ona kontrola na přítomnost a nepřítomnost symbolů je provedena doprava od přepisovaného neterminálu. Práce je rozdělena na tři části. První část uvádí motivaci za zavedením jednostranných gramatik s nahodilým kontextem a umisťuje materiál pokrytý v této práci do vědeckého kontextu. Poté dává přehled základů teorie formálních jazyků a některých méně známých oblastí, jejichž znalost je nutná pro pochopení studovaného tématu. Druhá část tvoří jádro práce. Formálně definuje jednostranné gramatiky s nahodilým kontextem a studuje je z mnoha pohledů. Mezi studovaná témata patří generativní síla, vztah k jiným typům gramatik, redukce, normální formy, nejlevější derivace, zobecněné a LL verze těchto gramatiky. Třetí část této práce zakončuje diskusi několika poznámkami. Mezi ně patří poznámky týkající se aplikovatelnosti zavedených gramatik v praxi, bibliografie a otevřených problémů.en
dc.description.abstractThis thesis introduces the notion of a one-sided random context grammar as a context-free-based regulated grammar, in which a set of permitting symbols and a set of forbidding symbols are attached to every rule, and its set of rules is divided into the set of left random context rules and the set of right random context rules . A left random context rule can rewrite a nonterminal if each of its permitting symbols occurs to the left of the rewritten symbol in the current sentential form while each of its forbidding symbols does not occur there. A right random context rule is applied analogically except that the symbols are examined to the right of the rewritten symbol. The thesis is divided into three parts. The first part gives a motivation behind introducing one-sided random context grammars and places all the covered material into the scientific context. Then, it gives an overview of formal language theory and some of its lesser-known areas that are needed to fully grasp some of the upcoming topics. The second part forms the heart of the thesis. It formally defines one-sided random context grammars and studies them from many points of view. Generative power, relations to other types of grammars, reduction, normal forms, leftmost derivations, generalized and parsing-related versions all belong between the studied topics. The final part of this thesis closes its discussion by adding remarks regarding its coverage. More specifically, these remarks concern application perspectives, bibliography, and open problem areas.cs
dc.description.markPcs
dc.identifier.citationZEMEK, P. Jednostranné gramatiky s nahodilým kontextem [online]. Brno: Vysoké učení technické v Brně. Fakulta informačních technologií. .cs
dc.identifier.other99797cs
dc.identifier.urihttp://hdl.handle.net/11012/63239
dc.language.isoencs
dc.publisherVysoké učení technické v Brně. Fakulta informačních technologiícs
dc.rightsStandardní licenční smlouva - přístup k plnému textu bez omezenícs
dc.subjectteorie formálních jazykůen
dc.subjectřízené gramatikyen
dc.subjectgramatiky s nahodilým kontextemen
dc.subjectjednostranné gramatiky s nahodilým kontextemen
dc.subjectpovolující gramatikyen
dc.subjectzakazující gramatikyen
dc.subjectgenerativní sílaen
dc.subjectredukceen
dc.subjectnormální formyen
dc.subjectnejlevější derivaceen
dc.subjectzobecněné verzeen
dc.subjectLL verzeen
dc.subjectformal language theorycs
dc.subjectregulated grammarscs
dc.subjectrandom context grammarscs
dc.subjectone-sided random context grammarscs
dc.subjectpermitting grammarscs
dc.subjectforbidding grammarscs
dc.subjectgenerative powercs
dc.subjectreductioncs
dc.subjectnormal formscs
dc.subjectleftmost derivationscs
dc.subjectgeneralized versionscs
dc.subjectLL versionscs
dc.titleJednostranné gramatiky s nahodilým kontextemen
dc.title.alternativeOne-Sided Random Context Grammarscs
dc.typeTextcs
dc.type.driverdoctoralThesisen
dc.type.evskpdizertační prácecs
dcterms.dateAccepted2014-09-12cs
dcterms.modified2020-05-10-17:46:40cs
eprints.affiliatedInstitution.facultyFakulta informačních technologiícs
sync.item.dbid99797en
sync.item.dbtypeZPen
sync.item.insts2021.11.23 00:18:24en
sync.item.modts2021.11.22 23:45:59en
thesis.disciplineVýpočetní technika a informatikacs
thesis.grantorVysoké učení technické v Brně. Fakulta informačních technologií. Ústav informačních systémůcs
thesis.levelDoktorskýcs
thesis.namePh.D.cs
Files
Original bundle
Now showing 1 - 5 of 6
Loading...
Thumbnail Image
Name:
final-thesis.pdf
Size:
545.41 KB
Format:
Adobe Portable Document Format
Description:
final-thesis.pdf
Loading...
Thumbnail Image
Name:
thesis-1.pdf
Size:
275.75 KB
Format:
Adobe Portable Document Format
Description:
thesis-1.pdf
Loading...
Thumbnail Image
Name:
Posudek-Vedouci prace-238_s1.pdf
Size:
300.13 KB
Format:
Adobe Portable Document Format
Description:
Posudek-Vedouci prace-238_s1.pdf
Loading...
Thumbnail Image
Name:
Posudek-Oponent prace-238_o1.pdf
Size:
58.17 KB
Format:
Adobe Portable Document Format
Description:
Posudek-Oponent prace-238_o1.pdf
Loading...
Thumbnail Image
Name:
Posudek-Oponent prace-238_o2.pdf
Size:
43.01 KB
Format:
Adobe Portable Document Format
Description:
Posudek-Oponent prace-238_o2.pdf
Collections