diff --git a/doc/org/concepts.org b/doc/org/concepts.org index 063721f63..e6da60673 100644 --- a/doc/org/concepts.org +++ b/doc/org/concepts.org @@ -366,7 +366,7 @@ $txt #+RESULTS: [[file:concept-gba-vs-ba2.png]] -* Transition-based, vs. Acceptance-based acceptance +* Transition-based, vs. State-based acceptance :PROPERTIES: :CUSTOM_ID: trans-acc :END: @@ -531,7 +531,6 @@ formula. Everything here is case-sensitive. | parity min odd 5 | =Fin(0) & (Inf(1)= \vert{} =(Fin(2) & (Inf(3)= \vert{} =Fin(4))))= | | parity max even 5 | =Inf(4)= \vert{} =(Fin(3) & (Inf(2)= \vert{} =(Fin(1) & Inf(0))))= | - * ω-Automaton with generalized acceptance :PROPERTIES: :CUSTOM_ID: automaton-generalized @@ -762,7 +761,6 @@ $txt #+RESULTS: [[file:concept-dstar.png]] - * Hanoi Omega-Automaton format (HOA) :PROPERTIES: :CUSTOM_ID: hoa