Modelization of deterministic rational relations
type: Item
instance of: scholarly article
title: Modelization of deterministic rational relations
zbMATH Open document ID: 0997.68072
DOI: 10.1016/S0304-3975(02)00022-1
author: Serge Grigorieff
published in: Theoretical Computer Science
publication date: 2002-07-15T00:00:00Z
Mathematics Subject Classification ID: 68Q45
zbMATH DE Number: 1767901
zbMATH Keywords: deterministic rational relations
zbMATH Keywords: classes of automata
MaRDI profile type: Publication
cites work: Q3859267
cites work: The equivalence problem for deterministic two-tape automata
cites work: Bounds on Positive Integral Solutions of Linear Diophantine Equations
cites work: Q4079524
cites work: Rational sets in commutative monoids
cites work: On Relations Defined by Generalized Finite Automata
cites work: Multitape one-way nonwriting automata
cites work: Q4198056
cites work: Semigroups, Presburger formulas, and languages
cites work: A simplified proof of Parikh's theorem
cites work: The complexity of decision problems for finite-turn multicounter machines
cites work: The equivalence problem of multitape finite automata
cites work: Reversal-Bounded Multicounter Machines and Their Decision Problems
cites work: The inclusion problem for some classes of deterministic multitape automata
cites work: On the Forms of the Predicates in the Theory of Constructive Ordinals
cites work: Integer Programming with a Fixed Number of Variables
cites work: Decision problems for semi-Thue systems with a few rules
cites work: Transductions des langages de Chomsky
cites work: Classical recursion theory. Vol. II
cites work: On Context-Free Languages
cites work: On the representation of finite deterministic 2-tape automata
cites work: A variant of a recursively unsolvable problem
cites work: On the completeness of a certain system of arithmetic of whole numbers in which addition occurs as the only operation
cites work: Q5541339
cites work: Q5573961
cites work: Q3813613
cites work: On the definition of a family of automata
cites work: A Bound on Solutions of Linear Integer Equalities and Inequalities
description: scientific article; zbMATH DE number 1767901