From b2d31b41706341f7e13da895986d921be2018e44 Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Tue, 1 Mar 2016 14:27:07 +0100 Subject: [PATCH] org: Fix a section title. MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit * doc/org/concepts.org: Fix a mistake reported by František Blahoudek. --- doc/org/concepts.org | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) 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