50 results on '"formal languages"'
Search Results
2. On the Decidability of Infix Inclusion Problem
3. Theory languages in designing artificial intelligence
4. Hints for a formal language inspired by Lewis structures
5. Some Notes on the Classification of Shift Spaces: Shifts of Finite Type; Sofic Shifts; and Finitely Defined Shifts
6. Generating networks of genetic processors
7. A positive extension of Eilenberg’s variety theorem for non-regular languages
8. Peano’s structuralism and the birth of formal languages
9. Extension Complexity of Formal Languages
10. Formal analyticity
11. A hierarchical consistency framework for real-time supervisory control
12. Language-Theoretic and Finite Relation Models for the (Full) Lambek Calculus
13. Tight Bounds for Active Self-Assembly Using an Insertion Primitive
14. Pseudo-inversion: closure properties and decidability
15. Staged self-assembly and polyomino context-free grammars
16. On the Effect of the IO-Substitution on the Parikh Image of Semilinear Full AFLs
17. A new characterization of scientific theories
18. Growth of Power-Free Languages over Large Alphabets
19. Application of formal languages in polynomial transformations of instances between NP-complete problems
20. Biocomputing: an insight from linguistics
21. On languages of automaton counter machines
22. Axiomatization and Models of Scientific Theories
23. Formal languages for integer programming modeling of shift scheduling problems
24. On the regularity of circular splicing languages: a survey and new developments
25. Logic and Rational Languages of Words Indexed by Linear Orderings
26. Yet Another Map Algebra
27. Hairpin Structures Defined by DNA Trajectories
28. DNA splicing: computing by observing
29. Learning Local Transductions Is Hard
30. Identifying Terminal Distinguishable Languages
31. A Note on the Equivalence and Complexity of Linear Grammars
32. Parallel Grammars: A Phenomenology
33. Real-Time Supervisory Control of a Processor for Non-Preemptive Execution of Periodic Tasks
34. Some Notes on the Formal Properties of Bidirectional Optimality Theory
35. Sequences of languages in forbidding–enforcing families
36. Regulated Grammars under Leftmost Derivation
37. On the Hierarchy of Extended Conditional Tabled Eco-Grammar Systems
38. Die Zurückführung des Möglichen auf das Wirkliche
39. An implementation of syntax directed functional programming on nested-stack machines
40. Chinese lattice designs and parametric shape grammars
41. Inductive inference of monotonic formal systems from positive data
42. A metalanguage design for sessions with group decision support systems
43. Syntactic monoids in the construction of systolic tree automata
44. Syntactic/semantic techniques in pattern recognition: A survey
45. Pixelated structures as a compositional medium
46. Doubly deterministic tabled OL systems
47. LL(1) grammars and Sub-LL(1) grammars
48. Onω-Languages whose syntactic monoid is trivial
49. A topoiogical formulation of linguistic typology
50. An error-correcting syntactic decoder for computer networks
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.