Pattern Abstract Grammar

Kind: domain

Record: algorithms-domain:pag

Canonical: Algorithms

The Pattern Abstract Grammar domain holds 12 algorithm contracts.

Listed in Algorithm domains, after Test coverage and before Pattern distillation.

Contracts

Linked from

Pattern Abstract Grammar

Every algorithm contract in this domain is listed with its position on the derivation loop, its intent and invariant, the flow it walks and its productions as a grammar. Each record also shows what it composes and is composed by, which forces and principles it answers to, what grounds it and what it grounds, and an exemplar where the record carries one. The diagram shows what composes what inside the domain.

Relations diagram
What composes what inside this domain.
flowchart LR
    n_pag_document_declaration["PAG Document Declaration"]
    n_pag_keyword_ontology["PAG Keyword Ontology"]
    n_pag_node_decomposition["PAG Node Decomposition"]
    n_pag_validation_gate["PAG Handoff Gate"]
    n_pag_explicit_control_flow["PAG Explicit Control Flow"]
    n_pag_constraint_boundary["PAG Invariant Record"]
    n_pag_tool_invocation["PAG Semantic Operation"]
    n_pag_coordination_construct["PAG Structure Declaration"]
    n_pag_ambiguity_reduction["PAG Ambiguity Reduction"]
    n_pag_authoring_kernel["PAG Authoring Kernel"]
    n_pag_well_formedness_validation["PAG Well-Formedness Validation"]
    n_pag_instruction_concern["<PAG Instruction Concern>"]
    n_pag_authoring_kernel --> n_pag_document_declaration
    n_pag_authoring_kernel --> n_pag_keyword_ontology
    n_pag_authoring_kernel --> n_pag_node_decomposition
    n_pag_authoring_kernel --> n_pag_validation_gate
    n_pag_authoring_kernel --> n_pag_explicit_control_flow
    n_pag_authoring_kernel --> n_pag_tool_invocation
    n_pag_authoring_kernel --> n_pag_coordination_construct
    n_pag_authoring_kernel --> n_pag_constraint_boundary
    n_pag_authoring_kernel --> n_pag_well_formedness_validation
    n_pag_well_formedness_validation --> n_pag_validation_gate
    n_pag_well_formedness_validation --> n_pag_explicit_control_flow