Formal descriptions of code properties: decidability, complexity, implementation
type: Item
instance of: scholarly article
zbMATH Open document ID: 1279.68149
DOI: 10.1142/S0129054112400059
author: Krystian Dudzinski
author: Stavros Konstantinidis
published in: International Journal of Foundations of Computer Science
publication date: 2012-08-30T00:00:00Z
Mathematics Subject Classification ID: 68Q45
zbMATH DE Number: 6073932
zbMATH Keywords: automata
zbMATH Keywords: codes
zbMATH Keywords: complexity
zbMATH Keywords: decidability
zbMATH Keywords: descriptions
zbMATH Keywords: implementation
zbMATH Keywords: languages
zbMATH Keywords: maximality
zbMATH Keywords: properties
zbMATH Keywords: transducers
MaRDI profile type: Publication
cites work: Squaring transducers: An efficient procedure for deciding functionality and sequentiality.
cites work: Q3714479
cites work: Trajectory-based codes
cites work: Codes defined by multiple sets of trajectories
cites work: Decidability of code properties
cites work: A note on finite-valued and finitely ambiguous transducers
cites work: Automata theory: Its past and future
cites work: Coding properties of DNA languages.
cites work: Rational equivalence relations
cites work: Transducers and the decidability of independence in free monoids
cites work: Relations on free monoids, their independent sets, and codes1
cites work: Language equations, maximality and error-detection
cites work: On properties of bond-free DNA languages
cites work: Finite maximal solid codes
cites work: Shuffle on trajectories: Syntactic constraints
cites work: Thin and slender languages
cites work: Q4001349
Recommended article: Decidability of code properties
Recommended article: Formalization of Properties of Functional Programs
Recommended article: Descriptional complexity of formal systems
Recommended article: Descriptological foundations of programming
Recommended article: Q4858445
Recommended article: Q4247261
Recommended article: Toward complete programming language descriptions that are both formal and understandable
Recommended article: Q4002146
title: Formal descriptions of code properties: decidability, complexity, implementation
description: scientific article; zbMATH DE number 6073932