scientific article; zbMATH DE number 3982491

MaRDI QIDQ3746864zbMATH OpenFDO

Authors N. A. Chuzhanova

Publication date 1985

zbMATH Keywords

grammarinductive deductioninference of languagespattern languagesprogram construction from examplesprogram specificationrecursive function

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Pattern recognition, speech recognition (68T10)

Recommendations

• scientific article; zbMATH DE number 3924113
• scientific article; zbMATH DE number 4078789
• scientific article; zbMATH DE number 4124987
• Inductive syntactic synthesis of programs with FOR loops and interpreted functions
• scientific article; zbMATH DE number 3963167

Cited in

(12)

• Inducing constructor systems from example-terms by detecting syntactical regularities
• scientific article; zbMATH DE number 996399 (Why is no real title available?)
• scientific article; zbMATH DE number 3868611 (Why is no real title available?)
• scientific article; zbMATH DE number 3924113 (Why is no real title available?)
• scientific article; zbMATH DE number 3934386 (Why is no real title available?)
• scientific article; zbMATH DE number 3963167 (Why is no real title available?)
• scientific article; zbMATH DE number 4084990 (Why is no real title available?)
• Representative sample of LISP program inference from examples
• scientific article; zbMATH DE number 408773 (Why is no real title available?)
• scientific article; zbMATH DE number 4124987 (Why is no real title available?)
• scientific article; zbMATH DE number 3997144 (Why is no real title available?)
• A Recursion Theoretic Approach to Program Testing

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