Theoretical and implementational aspects of the formal language server (LaSer)

DOI10.1007/978-3-030-51466-2_25MaRDI QIDQ2106613zbMATH OpenOpenAlexFDO

Authors Stavros Konstantinidis

Publication date 16 December 2022

Full work available at URL https://doi.org/10.1007/978-3-030-51466-2_25

zbMATH Keywords

codesDNA codesimplementationindependent languagesmaximalityproperty satisfactionregular languages

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Recommendations

• Formal descriptions of code properties: decidability, complexity, implementation
• Implementation of code properties via transducers
• Symbolic manipulation of code properties
• scientific article; zbMATH DE number 3872706
• scientific article; zbMATH DE number 782027

Cites work

• An algebra of discrete channels that involve combinations of three basic error types
• Applications of transducers in independent languages, word distances, codes
• Bond-free DNA language classes
• Codes and automata.
• Coding properties of DNA languages.
• Elements of automata theory. Translated from the French by Reuben Thomas
• Embedding rationally independent languages into maximal ones
• scientific article; zbMATH DE number 5605092 (Why is no real title available?)
• scientific article; zbMATH DE number 3660804 (Why is no real title available?)
• scientific article; zbMATH DE number 3566726 (Why is no real title available?)
• scientific article; zbMATH DE number 1354855 (Why is no real title available?)
• scientific article; zbMATH DE number 941396 (Why is no real title available?)
• scientific article; zbMATH DE number 826059 (Why is no real title available?)
• On Relations Defined by Generalized Finite Automata
• Site-directed insertion: decision problems, maximality and minimality
• Testing DNA code words properties of regular languages
• Trajectory-based codes

Describes a project that uses

Uses Software

• FAdo

This page was built for publication: Theoretical and implementational aspects of the formal language server (LaSer)

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2106613)