scientific article; zbMATH DE number 18591

MaRDI QIDQ3975995zbMATH OpenFDO

Authors Daniel Krob

Publication date 26 June 1992

zbMATH Keywords

formal differential calculusformal languagesmatrix identitiesrational expressionsrational identity

Mathematics Subject Classification ID

Automata and formal grammars in connection with logical questions (03D05) Formal languages and automata (68Q45)

Recommendations

• DIFFERENTIATION OF K-RATIONAL EXPRESSIONS
• Models of a \(K\)-rational identity system
• Matrix versions of aperiodic K-rational identities
• Complete systems of \(\mathcal B\)-rational identities
• Derivatives of rational expressions and related theorems.

Cited in

(10)

• Models of a \(K\)-rational identity system
• A complete system of identities for one-letter rational expressions with multiplicities in the tropical semiring
• A generalized partition refinement algorithm, instantiated to language equivalence checking for weighted automata
• Inversion height in free fields
• Equational theories for automata
• Matrix versions of aperiodic K-rational identities
• DIFFERENTIATION OF K-RATIONAL EXPRESSIONS
• Free iterative and iteration K-semialgebras
• Multi-linear iterative \(K\)-\(\Sigma\)-semialgebras.
• Extension of Brzozowski's derivation calculus of rational expressions to series over the free partially commutative monoids

This page was built for publication:

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