scientific article; zbMATH DE number 522839

MaRDI QIDQ4284232zbMATH OpenFDO

Authors Arto Salomaa

Publication date 24 March 1994

zbMATH Keywords

learningdecidabilityinductive inferenceterm rewritingpattern languages

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Grammars and rewriting systems (68Q42) Combinatorics on words (68R15) Decidability of theories and sets of sentences (03B25)

Recommendations

• Decision problems for patterns
• Multi-pattern languages
• scientific article; zbMATH DE number 2150289
• Patterns and languages: An overview
• scientific article; zbMATH DE number 996382

Cited in

(17)

• From Hertzsprung's problem to pattern-rewriting systems
• scientific article; zbMATH DE number 1453031 (Why is no real title available?)
• Bad News on Decision Problems for Patterns
• scientific article; zbMATH DE number 67842 (Why is no real title available?)
• Existence and nonexistence of descriptive patterns
• D0L-pattern languages
• A Language of Patterns for Subterm Selection
• Closure properties of pattern languages
• Closure properties of pattern languages
• Beginner's luck: a language for property-based generators
• DPAL: Deductive language for embroidery pattern assembling
• GRAMMARS BASED ON PATTERNS
• Pattern language recognition and generation
• The Thue problem and logical specifications of derivation in formal systems
• Erasing pattern languages distinguishable by a finite number of strings
• Undecidability of ground reducibility for word rewriting systems with variables
• Decision problems for patterns

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 Q4284232)