LANGAGE: A maple package for automaton characterization of regular languages

被引：1
|
作者：
Caron, P [1 ]
机构：
[1] Univ Rouen, Lab Informat Fondamentale & Appliquee Rouen, F-76821 Mt St Aignan, France
来源：
THEORETICAL COMPUTER SCIENCE | 2000年 / 231卷 / 01期
关键词：
algorithms; automata; locally testable languages; regular languages;
D O I：
10.1016/S0304-3975(99)00013-4
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
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 algorithms are implemented for the two last properties. This package is written using the 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.
引用
收藏
页码：5 / 15
页数：11
相关论文
共 50 条
  • [1] LANGAGE: A maple package for automaton characterization of regular languages
    Caron, P
    AUTOMATA IMPLEMENTATION, 1998, 1436 : 46 - 55
  • [2] Deterministic Fuzzy Automaton on Subclasses of Fuzzy Regular ω-Languages
    Arulprakasam, R.
    Dare, V. R.
    Gnanasekaran, S.
    IRANIAN JOURNAL OF MATHEMATICAL SCIENCES AND INFORMATICS, 2019, 14 (01): : 1 - 11
  • [3] A characterization of local regular languages
    Yu, SS
    DISCRETE MATHEMATICS, 1998, 184 (1-3) : 195 - 203
  • [4] Characterization of Fuzzy Regular Languages
    Ramaswamy, V.
    Girijamma, H. A.
    INTERNATIONAL JOURNAL OF COMPUTER SCIENCE AND NETWORK SECURITY, 2008, 8 (12): : 306 - 308
  • [5] A HOMOMORPHIC CHARACTERIZATION OF REGULAR LANGUAGES
    CULIK, K
    FICH, FE
    SALOMAA, A
    DISCRETE APPLIED MATHEMATICS, 1982, 4 (02) : 149 - 152
  • [6] Characterization of local regular languages
    Discrete Math, 1-3 (195-203):
  • [7] Parsing computer languages with an automaton compiled from a single regular expression
    Thurston, Adrian D.
    IMPLEMENTATION AND APPLICATION OF AUTOMATA, 2006, 4094 : 285 - 286
  • [8] On monotone languages and their characterization by regular expressions
    Gyurica, Gyoergy
    ACTA CYBERNETICA, 2007, 18 (01): : 117 - 134
  • [9] TOPOLOGICAL CHARACTERIZATION FOR FUZZY REGULAR LANGUAGES
    Wang, Y. B.
    Li, Y. M.
    IRANIAN JOURNAL OF FUZZY SYSTEMS, 2018, 15 (04): : 43 - 56
  • [10] On Nilpotent Languages and Their Characterization by Regular Expressions
    Gyurica, Gyoergy
    ACTA CYBERNETICA, 2009, 19 (01): : 231 - 244
12345