Definitions

  • D1. Grammar (79)
  • D2. Grammar production rule (80)
  • D3. Semantic id of a grammar term (80)
  • D4. Symbolic Grammar Tool (82)
  • D5. Grammar definition file (83)
  • D6. Automaton A1, Parser generator (83)
  • D7. Pretty printer – generator (84)
  • D8. Automaton A2, Symbolic code description language (85)
  • D9. Definition for the Symbolic language (85)
  • D10. Symbolic clause (86)
  • D11. Symbolic name (86)
  • D12. Symbolic type (87)
  • D13. Symbol table generator (87)
  • D14. Automaton A3, Direct translation (87)
  • D15. Java to Symbolic – translator (88)
  • D16. Atom (source code atom) (103)
  • D17. Symbolic-to-atomic conversion, A4 (104)
  • D18. Symbolic model weaver (104)
  • D19. Type constructor (of the model weaver) (105)
  • D20. Atomistic model (105)
  • D21. Atomistic descriptor: atom command (106)
  • D22. Link of an atom (106)
  • D23. Atomistic hybrid object, AHO (110)
  • D24. Atomistic machine model (automata) (120)
  • D25. Symbolic output tape (120)
  • D26. Sequence builder (120)
  • D27. Simulator (121)
  • D28. Side effect (121)
  • D29. Partial simulation (122)
  • D30. Interactive simulation (122)
  • D31. Selector (122)
  • D32. Simulating method, run (122)
  • D33. Simulating logic (122)
  • D34. Atomistic semantics for state tables (123)
  • D35. State transition table formalism (123)
  • D36. KnowledgeUnit (160)
  • D37. Dependency graph (161)
  • D38. Explanation (162)
  • D39. Argument (163)
  • D40. ProgramConcept (163)
  • D41. TargetObject (164)
  • D42. ProgramContext (164)
  • D43. Hypothesis (165)
  • D44. Theorem (165)
Advertisements