Solutions To Four Open Problems Concerning Controlled Pure Grammar Systems

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216305%3A26230%2F14%3APU111907" target="_blank" >RIV/00216305:26230/14:PU111907 - isvavai.cz</a>

Výsledek na webu

<a href="http://www.tandfonline.com/doi/abs/10.1080/00207160.2013.829214" target="_blank" >http://www.tandfonline.com/doi/abs/10.1080/00207160.2013.829214</a>

DOI - Digital Object Identifier

<a href="http://dx.doi.org/10.1080/00207160.2013.829214" target="_blank" >10.1080/00207160.2013.829214</a>

Jazyk výsledku

angličtina

Název v původním jazyce

Solutions To Four Open Problems Concerning Controlled Pure Grammar Systems

Popis výsledku v původním jazyce

In this paper, we address several open problems concerning pure grammar systems (pGSs) and their controlled versions. More specifically, we prove the following four results. (I) Regular-controlled pGSs having a single component define the family of regular languages. (II) pGSs having two components controlled by infinite regular languages define the family of recursively enumerable languages. (III) Regular-controlled pGSs without any erasing rules define the family of regular languages not containing the empty string. (IV) pGSs define a proper subfamily of the family of regular languages.

Název v anglickém jazyce

Solutions To Four Open Problems Concerning Controlled Pure Grammar Systems

Popis výsledku anglicky

In this paper, we address several open problems concerning pure grammar systems (pGSs) and their controlled versions. More specifically, we prove the following four results. (I) Regular-controlled pGSs having a single component define the family of regular languages. (II) pGSs having two components controlled by infinite regular languages define the family of recursively enumerable languages. (III) Regular-controlled pGSs without any erasing rules define the family of regular languages not containing the empty string. (IV) pGSs define a proper subfamily of the family of regular languages.

Druh

J_imp - Č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)

Projekt

Výsledek vznikl pri realizaci vícero projektů. Více informací v záložce Projekty.

Návaznosti

P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)<br>Z - Vyzkumny zamer (s odkazem do CEZ)<br>S - Specificky vyzkum na vysokych skolach

Rok uplatnění

2014

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ů

Název periodika

International Journal of Computer Mathematics

ISSN

0020-7160

e-ISSN

1029-0265

Svazek periodika

91

Číslo periodika v rámci svazku

6

Stát vydavatele periodika

GB - Spojené království Velké Británie a Severního Irska

Počet stran výsledku

14

Strana od-do

1156-1169

Kód UT WoS článku

000340826000002

EID výsledku v databázi Scopus

2-s2.0-84906788547