Backward Pattern Matching Automaton
The result's identifiers
Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F68407700%3A21230%2F05%3A03109472" target="_blank" >RIV/68407700:21230/05:03109472 - isvavai.cz</a>
Result on the web
—
DOI - Digital Object Identifier
—
Alternative languages
Result language
angličtina
Original language name
Backward Pattern Matching Automaton
Original language description
This paper presents a formal specification of a new backward pattern matching algorithm which is based on a formaly specified nondeterministic model. This model is given in the form of attributed finite automaton. This new algorithm is general one and can solve a vast range of pattern matching problems.
Czech name
Automat pro protisměrné vyhledávání vzorků
Czech description
Tento článek prezentuje formální specifikaci nového protisměrného algoritmu na vyhledávání vzorků, který je založen na formálně specifikovaném nedeterministickém modelu. Tento model je popsán ve formě atributovaného konečného automatu. Algoritmus je obecný a dokáže řešit širokou množinu úloh.
Classification
Type
D - Article in proceedings
CEP classification
IN - Informatics
OECD FORD branch
—
Result continuities
Project
—
Continuities
Z - Vyzkumny zamer (s odkazem do CEZ)
Others
Publication year
2005
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
Article name in the collection
Proceedings of the Prague Stringology Conference '05
ISBN
80-01-03307-4
ISSN
—
e-ISSN
—
Number of pages
14
Pages from-to
81-94
Publisher name
ČVUT FEL, Katedra počítačů
Place of publication
Praha
Event location
Praha
Event date
Aug 29, 2005
Type of event by nationality
EUR - Evropská akce
UT code for WoS article
—