Képnyelvek Végessége

Dátum
Folyóirat címe
Folyóirat ISSN
Kötet címe (évfolyam száma)
Kiadó
Absztrakt

A szakdolgozatomban egy a képnyelvek végességét vizsgáló algoritmust sikeresen implementáltam a háromszögrácsra és négyzetrácsra és ehhez megfelelő vizuális szemléltetést is társítottam a dolgozathoz készült alkalmazásban. A hatszögrácshoz előkészítettem az implementáció bázisát, melyet későbbi munkámban szeretnék szemléltetni, mivel nagy mértékben eltér az előzőleg említett másik kettő rácstól. Ám így is lehet rajzolni és szavak deriváltját is szemléltetni a hatszögrácson. Jelen esetben itt is egy háromszögrácsot (egymás duálisai) mutat az alkalmazás, mivel így részletesebben meg lehet érteni a ennek a nem 'lattice' rácsnak a különlegességét. A reguláris rácsokat részletesen bemutatom, amelyeknek különbségeit és hasonlóságait is megismerhetjük a dolgozatból.
A dolgozatomban kitérek még az endomorfizmusra is, amelyet nagyon szépen meg lehet figyelni az alkalmazásban, hogy miért véges egy adott nyelv vagy miért végtelen egy adott speciális endomorfizmus esetén. Az említett alkalmazáshoz Java és JavaFX programozási nyelveket használtam fel, amelyek tökéletes kombinációt alkottak mind a logika és mint a grafikus felhasználói felület elkészítéséhez. A szakdolgozatomban kitérek részletesen az asztali alkalmazás elkészítésére és a működésére is. Az alapszakos szakdolgozatommal lefektettem az elkövetkezendő vizsgálatok és következő dolgozatom alapját. Amiben a nem reguláris rácsokkal és különb érdekes megközelítésekkel is szeretnék foglalkozni.

Leírás
Kulcsszavak
Képnyelvek, végesség, formális nyelvek
Forrás