rel12 (via matrix dim 10)

EDIT: Automat mit weniger Zuständen - siehe weiter unten

for SRS
  [b, p, b] -> [a, b, a, p, b, a] {- Input 0 -}
  [p] ->= [a, p, a] {- Input 1 -}
  [a, p, a] ->= [p] {- Input 2 -}
reason
  ( b
  , St (Corner  / 1 2 0 0 0 0 0 0 0 0 \
                | 0 1 0 0 0 0 1 0 0 0 |
                | 0 1 0 0 0 0 1 0 0 0 |
                | 0 0 0 0 0 0 1 0 0 0 |
                | 0 0 0 2 1 0 1 0 0 2 |
                | 0 0 0 0 0 0 0 0 0 0 |
                | 0 1 0 0 0 0 0 0 0 0 |
                | 0 0 0 0 0 0 1 0 0 0 |
                | 0 1 0 1 1 0 0 0 0 1 |
                \ 0 0 0 0 0 0 0 0 0 1 /) )
  ( p
  , St (Corner  / 1 0 0 0 0 0 0 0 0 0 \
                | 0 0 0 0 0 0 0 0 1 0 |
                | 0 0 0 0 0 0 0 0 1 0 |
                | 0 0 1 0 0 0 0 0 0 0 |
                | 0 0 0 1 0 0 0 0 0 0 |
                | 0 0 0 0 0 0 0 0 0 0 |
                | 0 0 0 0 1 0 0 0 0 0 |
                | 0 0 0 0 0 0 1 0 0 0 |
                | 0 0 0 0 0 0 0 1 0 0 |
                \ 0 0 0 0 0 0 0 0 0 1 /) )
  ( a
  , St (Corner  / 1 0 0 0 0 0 0 0 0 0 \
                | 0 0 0 0 1 0 0 0 0 0 |
                | 0 0 0 0 1 0 0 0 0 0 |
                | 0 0 0 0 0 0 0 0 1 0 |
                | 0 0 0 0 0 0 0 1 0 0 |
                | 0 0 0 0 0 0 0 0 0 0 |
                | 0 0 0 1 0 0 0 0 0 0 |
                | 0 0 1 0 0 0 0 0 0 0 |
                | 0 0 0 0 0 0 1 0 0 0 |
                \ 0 0 0 0 0 0 0 0 0 1 /) )

removes the strict rule.