Filtry
P colonies processing strings
IN - Informatika
- 2014 •
- Jx •
- Odkaz
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Výsledek na webu
APcol systems and turtle graphics
Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
- 2021 •
- D
Rok uplatnění
D - Stať ve sborníku
Separating the Classes of Recursively Enumerable Languages Based on Machine Size
IN - Informatika
- 2015 •
- Jx •
- Odkaz
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Výsledek na webu
On State-Synchronized Automata Systems
Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
- 2016 •
- JSC •
- Odkaz
Rok uplatnění
JSC - Článek v periodiku v databázi SCOPUS
Výsledek na webu
Final sentential forms
Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
- 2023 •
- D •
- Odkaz
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
Language Classes of Extended Distributed Reaction Systems
Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
- 2023 •
- Jimp •
- Odkaz
Rok uplatnění
Jimp - Článek v periodiku v databázi Web of Science
Výsledek na webu
Síla komutování s konečnými množinami slov
V práci konstruujeme konečný jazyk L takový, že největší jazyk komutující s L není rekurzívně vyčíslitelný. Tímto dáváme negativní odpověď na otázku, kterou položil Conway v roce 1971, a rovněž silně vyvracíme jeho hypotézu, že maximální řešení systé...
BA - Obecná matematika
- 2007 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Síla komutování s konečnými množinami slov
V práci ukazujeme, že lze zkonstruovat konečný jazyk L takový, že největší jazyk komutující s L není rekurzívně vyčíslitelný. Tímto dáváme negativní odpověď na otázku, kterou položil Conway v roce 1971, a rovněž silně vyvracíme jeho hypotézu, že maxi...
BA - Obecná matematika
- 2005 •
- D
Rok uplatnění
D - Stať ve sborníku
Jednoduché jazykové rovnice
Článek shrnuje pozitivní i negativní výsledky o regularitě maximálních řešení systémů implicitních jazykových rovnic a nerovnic. Tyto výsledky se týkají nerovnic s konstantními pravými stranami, nerovnic s omezeními na konstanty a komutačních rovnic ...
BA - Obecná matematika
- 2005 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Jak generovat rekurzívně vyčíslitelné jazyky použitím pouze bezkontextových pravidel a osmi nonterminálů
Je představena nová struktura, složená z bezkontextové gramatiky a volné grypy. Dále je uveden popis transformace gramatik typu 0 na bezkontextovou gramatiku nad volnou grupou. Následně je tato konstrukce optimalizována redukcí nonterminálů....
JC - Počítačový hardware a software
- 2005 •
- D
Rok uplatnění
D - Stať ve sborníku
- 1 - 10 z 13 825