#
# S -> a A a
# A -> b B b
# B -> c C c
# C -> S
# C ->
#
# sample word: a  b  c  a  b  c   c  b  a  c  b  a
#               \  \  \  \  \ \ C / /  /  /  /  /
#                \  \  \  \  \ \|/ /  /  /  /  /
#                 \  \  \  \  \ B /  /  /  /  /
#                  \  \  \  \  \|/  /  /  /  /
#                   \  \  \  \  A  /  /  /  /
#                    \  \  \  \ | /  /  /  /
#                     \  \  \  \S/  /  /  /
#                      \  \  \  |  /  /  /
#                       \  \  \ C /  /  /
#                        \  \  \|/  /  /
#                         \  \  B  /  /
#                          \  \ | /  /
#                           \  \|/  /
#                            \  A  /
#                             \ | /
#                              \|/
#                               S
#
# parsed in CNF:
#
# ( S ( AO ( A a ) ( O ( BI ( B b ) ( I ( CS ( C c ) ( S ( AO ( A a ) ( O ( BI ( B b ) ( I ( C c ) ( C c ) ) ) ( B b ) ) ) ( A a ) ) ) ( C c ) ) ) ( B b ) ) ) ( A a ) )
#
#               a   b  c   a   b  c  c   b   a   c    b   a
#                \   \  \   \   \  \ /  /   /   /    /   /
#                 \   \  \   \   B  I  B   /   /    /   /
#                  \   \  \   \   BI  /   /   /    /   /
#                   \   \  \   \   \ /   /   /    /   /
#                    \   \  \   A   O   /   /    /   /
#                     \   \  \   \ /   /   /    /   /
#                      \   \  \   AO  A   /    /   /
#                       \   \  \   \ /   /    /   /
#                        \   \  C   S   /    /   /
#                         \   \  \ /   /    /   /
#                          \   \  CS  C    /   /
#                           \   \  \ /    /   /
#                            \   B  I    /   /
#                             \   BI    B   /
#                              \   \   /   /
#                               \   \ /   /
#                                A   O   /
#                                 \ /   /
#                                  AO  /
#                                   \ /
#                                    S
#

S -> AO A
AO -> A O
O -> BI B
BI -> B I
I -> CS C
I -> C C
CS -> C S
#

A -> a
B -> b
C -> c
#
#