New language operations in formal language theory

Result code in IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216305%3A26230%2F04%3APU49343" target="_blank" >RIV/00216305:26230/04:PU49343 - isvavai.cz</a>

Result on the web

—

DOI - Digital Object Identifier

—

Result language

angličtina

Original language name

New language operations in formal language theory

Original language description

Stringology represents a modern part of the formal language theory, which deals with strings, languages and operations on them. It introduces many new language operations, which can be divided into two groups - insertion and deletion operations. This paper presents these operations and some their properties. Especially, closure properties are studied here. New algorithms that construct finite automata accepting languages resulting from some of these operations are described here. We actually demonstratee by designing these algorithms, that the family of regular languages is closed under these operations.

Czech name

Nové jazykové operace v teorii formálních jazyků

Czech description

Stringologie je moderní část teoretické informatiky, která se zabývá řetězci, jazyky a operacemi nad nimi. Zavádí mnoho nových operací, které mohou být rozděleny do 2 skupin - vkládací a mazací operace. Tento článek ukazuje takové operace a některé jejich vlastnosti. Speciálně se zabývá uzávěrovými vlastnostmi. Popisuje algoritmy konstrukce konečných automatů přijímajících jazyky vzniklé těmito operacemi. Nalezením těchto algoritmů lze dokázat uzavřenost třídy regulárních jazyků vůči těmto operacím.

Type

J_x - Unclassified - Peer-reviewed scientific article (Jimp, Jsc and Jost)

CEP classification

BD - Information theory

OECD FORD branch

—

Project

<a href="/en/project/GA201%2F04%2F0441" target="_blank" >GA201/04/0441: Optimally integrated models of modern information technologies</a><br>

Continuities

P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)

Publication year

2004

Confidentiality

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Name of the periodical

Schedae Informaticae

ISSN

0860-0295

e-ISSN

—

Volume of the periodical

2004

Issue of the periodical within the volume

13

Country of publishing house

PL - POLAND

Number of pages

28

Pages from-to

123-150

UT code for WoS article

—

EID of the result in the Scopus database

—