alarsyo/spot
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

org: Fix a section title.

Browse source 
* doc/org/concepts.org: Fix a mistake reported by František Blahoudek.
This commit is contained in:
Alexandre Duret-Lutz 2016-03-01 14:27:07 +01:00
parent 5ec2f8b7b0
commit b2d31b4170
1 changed files with 1 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

4
doc/org/concepts.org
View file

@ -366,7 +366,7 @@ $txt
#+RESULTS: #+RESULTS:
[[file:concept-gba-vs-ba2.png]] [[file:concept-gba-vs-ba2.png]]
* Transition-based, vs. Acceptance-based acceptance * Transition-based, vs. State-based acceptance
:PROPERTIES: :PROPERTIES:
:CUSTOM_ID: trans-acc :CUSTOM_ID: trans-acc
:END: :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 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))))= | | parity max even 5 | =Inf(4)= \vert{} =(Fin(3) & (Inf(2)= \vert{} =(Fin(1) & Inf(0))))= |
* ω-Automaton with generalized acceptance * ω-Automaton with generalized acceptance
:PROPERTIES: :PROPERTIES:
:CUSTOM_ID: automaton-generalized :CUSTOM_ID: automaton-generalized
@ -762,7 +761,6 @@ $txt
#+RESULTS: #+RESULTS:
[[file:concept-dstar.png]] [[file:concept-dstar.png]]
* Hanoi Omega-Automaton format (HOA) * Hanoi Omega-Automaton format (HOA)
:PROPERTIES: :PROPERTIES:
:CUSTOM_ID: hoa :CUSTOM_ID: hoa