Catalogo Articoli (Spogli Riviste)

OPAC HELP

Titolo:
LANGAGE: A maple package for automaton characterization of regular languages
Autore:
Caron, P;
Indirizzi:
Univ Rouen, Lab Informat Fondamentale & Appliquee Rouen, F-76821 Mt St Aignan, France Univ Rouen Mt St Aignan France F-76821 uen, F-76821 Mt St Aignan, France
Titolo Testata:
THEORETICAL COMPUTER SCIENCE
fascicolo: 1, volume: 231, anno: 2000,
pagine: 5 - 15
SICI:
0304-3975(20000117)231:1<5:LAMPFA>2.0.ZU;2-2
Fonte:
ISI
Lingua:
ENG
Keywords:
algorithms; automata; locally testable languages; regular languages;
Tipo documento:
Article
Natura:
Periodico
Settore Disciplinare:
Engineering, Computing & Technology
Citazioni:
12
Recensione:
Indirizzi per estratti:
Indirizzo: Caron, P Univ Rouen, Lab Informat Fondamentale & Appliquee Rouen, F-76821 Mt St Aignan, France Univ Rouen Mt St Aignan France F-76821 821 Mt St Aignan, France
Citazione:
P. Caron, "LANGAGE: A maple package for automaton characterization of regular languages", THEOR COMP, 231(1), 2000, pp. 5-15

Abstract

LANGAGE is a set of procedures for deciding whether or not a language given by its minimal automaton is piecewise testable, locally testable, strictly locally testable, or strongly locally testable. New polynomial algorithmsare implemented for the two last properties. This package is written usingthe symbolic computation system Maple. It works with AG, a set of Maple pack ages for processing automata and finite semigroups. (C) 2000 Elsevier Science B.V. All rights reserved.

ASDD Area Sistemi Dipartimentali e Documentali, Università di Bologna, Catalogo delle riviste ed altri periodici
Documento generato il 03/12/20 alle ore 16:07:48