About: Context-free languages and pushdown automata

Facets (new session)
Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: Context-free languages and pushdown automata Goto Sponge NotDistinct Permalink

An Entity of Type : http://linked.opendata.cz/ontology/domain/vavai/Projekt, within Data Space : linked.opendata.cz associated with source document(s)

Attributes	Values
rdf:type	http://linked.opendata.cz/ontology/domain/vavai/Projekt
rdfs:seeAlso	http://www.isvav.cz/projectDetail.do?rowId=MEB041003
Description	The planned research will focus on the study of context-free languages and pushdown automata and their applications. To understand the structure of formal languages is a helpful tool to study their combinatorial properties. One of the subjects of this research is the problem of primitive words. A word is called primitive if it is not a power of another word. A widely known conjecture of P. Dömösi, M. Ito, and S. Horváth states that the language Q of all primitive words over an alphabet with several letters is not context-free. A number of recent papers investigated this well-known conjecture which is still open. We intend to continue our investigations on small context-free grammars generating primitive words. On the other hand, using the fact that a homomorphic map of a nonprimitive word is also nonprimitive, we also plan to study whether or not Q has a real Chomsky-Schützenberger-Stanley type homomorphic characterization. By our hope, these investigations may lead to prove or disprove our conjectur (en) Plánovaný výzkum se zaměří na studium bezkontextových jazyků a zásobníkových automatů a jejich aplikací. Pro hlubší pochopení struktur formálních jazyků je nápomocné studovat jejich kombinatorické vlastnosti. Jedním z předmětů výzkumu je problém primitivních slov. Slovo nazýváme primitivní, pokud není mocninou jiného slova. P. Dömösi, M. Ito a S. Horváth prezentovali domněnku, že jazyk všech primitivních slov nad abecedou s několika symboly, Q, není bezkontextový. Nedávno publikované články se stále zabývají tímto proslulým dohadem, který je stále otevřeným problémem. Plánujeme dále rozvíjet toto zkoumání se zaměřením na malé bezkontextové gramatiky generující primitivní slova. Na druhou stranu, vezmeme-li v úvahu, že homomorfický obraz neprimitivního slova je také neprimitivní, budeme také studovat, zda je Q skutečnou homomorfickou charakterizací Chomsky-Schützenberger-Stanleyho typu. Doufáme, že toto zkoumání povede na důkaz platnosti či neplatnosti předchozí domněnky a otevřeného problému. Dále by
Title	Context-free languages and pushdown automata (en) Bezkontextové gramatiky a zásobníkové automaty
skos:notation	MEB041003
http://linked.open...avai/cep/aktivita	KONTAKT
http://linked.open...kovaStatniPodpora	http://linked.opendata.cz/resource/domain/vavai/projekt/MEB041003/celkovaStatniPodpora
http://linked.open...ep/celkoveNaklady	http://linked.opendata.cz/resource/domain/vavai/projekt/MEB041003/celkoveNaklady
http://linked.open...datumDodatniDoRIV	2012-07-12 (xsd:date)
http://linked.open...i/cep/druhSouteze	M2 - Mezinárodní spolupráce podle uzavřených smluv o dvoustranné mezinárodní spolupráci ve VaV
http://linked.open...ep/duvernostUdaju	S - Úplné a pravdivé údaje nepodléhající ochraně podle zvláštních právních předpisů
http://linked.open.../cep/fazeProjektu	91775861
http://linked.open...ai/cep/hlavniObor	IN - Informatika
http://linked.open...hodnoceniProjektu	U - Uspěl podle zadání, tj. byly splněny cíle a jeho předpokládané výsledky uvedené ve smlouvě / rozhodnutí o poskytnutí podpory
http://linked.open...vai/cep/kategorie	ZV - Základní výzkum
http://linked.open.../cep/klicovaSlova	formal language theory; primitive words; grammars; automata (en)
http://linked.open...ep/partnetrHlavni	Fakulta informačních technologií
http://linked.open...inujicichPrijemcu	0 (xsd:int)
http://linked.open...cep/pocetPrijemcu	1 (xsd:int)
http://linked.open...ocetSpoluPrijemcu	0 (xsd:int)
http://linked.open.../pocetVysledkuRIV	8 (xsd:int)
http://linked.open...enychVysledkuVRIV	8 (xsd:int)
http://linked.open...lneniVMinulemRoce	2011-03-07 (xsd:date)
http://linked.open.../prideleniPodpory	http://linked.opendata.cz/resource/domain/vavai/cep/prideleniPodpory/5364%2F2010-32
http://linked.open...iciPoslednihoRoku	2011
http://linked.open...atUdajeProjZameru	2012
http://linked.open...usZobrazovaneFaze	DUU
http://linked.open...ai/cep/typPojektu	P - Projekt výzkumu a vývoje financovaný ze státního rozpočtu
http://linked.open...ep/ukonceniReseni	2011-12-31 (xsd:date)
http://linked.open.../cep/vedlejsiObor	JC - Počítačový hardware a software
http://linked.open...ep/zahajeniReseni	2010-01-01 (xsd:date)
http://linked.open...jektu+dodavatelem	We accomplished the main project goal to study context-free grammars and automata. The original results about their properties were presented at 4 public seminars and published in 4 international journals and several conferences. (en) Cílem projektu bylo studovat modely založené na bezkontextových gramatikách a automatech. Jejich nově popsané vlastnosti byly prezentovány na 4 veřejných odborných seminářích a publikovány ve 4 mezinárodních časopisech a na několika konferencích. (cs)
http://linked.open...tniCyklusProjektu	ZKU
http://linked.open.../cep/klicoveSlovo	grammars primitive words formal language theory
is http://linked.open...vavai/cep/projekt of	http://linked.opendata.cz/resource/domain/vavai/cep/ucast/MEB041003/2010/orjk%3A26230 http://linked.opendata.cz/resource/domain/vavai/cep/ucast/MEB041003/2011/orjk%3A26230 http://linked.opendata.cz/resource/domain/vavai/cep/ucast/MEB041003/2012/orjk%3A26230

Faceted Search & Find service v1.16.118 as of Jun 21 2024

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3240 as of Jun 21 2024, on Linux (x86_64-pc-linux-gnu), Single-Server Edition (126 GB total memory, 63 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software