entry => <p>
    <p> => [f]
    [f] => [h]
    [h] => exit
    <p> => [g]
    [g] => <q>
    <q> => [h]
    <q> => exit