LANGAGE: A Maple package for automaton characterization of regular languages
type: Item
instance of: scholarly article
title: LANGAGE: A Maple package for automaton characterization of regular languages
zbMATH Open document ID: 0951.68527
DOI: 10.1016/S0304-3975(99)00013-4
author: Pascal Caron
published in: Theoretical Computer Science
publication date: 2000-08-23T00:00:00Z
Mathematics Subject Classification ID: 68Q45
Mathematics Subject Classification ID: 68W30
zbMATH DE Number: 1495189
zbMATH Keywords: LANGAGE
zbMATH Keywords: Maple
describes a project that uses: AG
describes a project that uses: Maple
MaRDI profile type: Publication
cites work: Languages and scanners
cites work: Characterizations of locally testable events
cites work: Families of locally testable languages
cites work: A polynomial time algorithm for the local testability problem of deterministic finite automata
cites work: Algebraic decision procedures for local testability
cites work: Q5641083
cites work: On finite monoids having only trivial subgroups
cites work: Q4077455
cites work: Complexity of some problems from the theory of automata
cites work: Locally testable languages
description: scientific article; zbMATH DE number 1495189