On Elimination of Erasing Rules from E0S Grammars
Identifikátory výsledku
Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216305%3A26230%2F22%3APU145733" target="_blank" >RIV/00216305:26230/22:PU145733 - isvavai.cz</a>
Výsledek na webu
<a href="http://www.math.md/publications/csjm/issues/v30-n2/" target="_blank" >http://www.math.md/publications/csjm/issues/v30-n2/</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.56415/csjm.v30.08" target="_blank" >10.56415/csjm.v30.08</a>
Alternativní jazyky
Jazyk výsledku
angličtina
Název v původním jazyce
On Elimination of Erasing Rules from E0S Grammars
Popis výsledku v původním jazyce
The present paper describes an alternative algorithm for the removal of erasing rules from E0S grammars. As opposed to the standard way of eliminating erasing rules in most E0S-like grammars, such as context-free grammars, this method requires no predetermination of symbols that derive the empty string. The proposed algorithm is formally verified. In the conclusion of the paper, the applicability of the algorithm to E0S grammars that work in a semi-parallel way is demonstrated. Furthermore, two open problems are formulated.
Název v anglickém jazyce
On Elimination of Erasing Rules from E0S Grammars
Popis výsledku anglicky
The present paper describes an alternative algorithm for the removal of erasing rules from E0S grammars. As opposed to the standard way of eliminating erasing rules in most E0S-like grammars, such as context-free grammars, this method requires no predetermination of symbols that derive the empty string. The proposed algorithm is formally verified. In the conclusion of the paper, the applicability of the algorithm to E0S grammars that work in a semi-parallel way is demonstrated. Furthermore, two open problems are formulated.
Klasifikace
Druh
J<sub>imp</sub> - Článek v periodiku v databázi Web of Science
CEP obor
—
OECD FORD obor
10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Návaznosti výsledku
Projekt
<a href="/cs/project/LQ1602" target="_blank" >LQ1602: IT4Innovations excellence in science</a><br>
Návaznosti
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)
Ostatní
Rok uplatnění
2022
Kód důvěrnosti údajů
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Údaje specifické pro druh výsledku
Název periodika
Computer Science Journal of Moldova
ISSN
1561-4042
e-ISSN
—
Svazek periodika
30
Číslo periodika v rámci svazku
2
Stát vydavatele periodika
MD - Moldavská republika
Počet stran výsledku
13
Strana od-do
135-147
Kód UT WoS článku
000825309600001
EID výsledku v databázi Scopus
2-s2.0-85134572166