Der endliche Automat für Gleitkommazahlen läßt sich in entsprechend
der vorgestellten Transformationsregel in eine Grammatik überführen:
 | VT = {``0'', ···, ``9'', ``,''}
|
 | VN = {〈 z1 〉, ···, 〈 z5 〉}
|
 | Produktionsregeln P:
〈 z2 〉 | ---> | ε |
〈 z4 〉 | ---> | ε |
〈 z1 〉 | ---> |
``0'' 〈 z2 〉 |
| ··· | |
〈 z1 〉 | ---> |
``9'' 〈 z2 〉 |
〈 z1 〉 | ---> |
``,'' 〈 z5 〉 |
〈 z2 〉 | ---> |
``0'' 〈 z2 〉 |
| ··· | |
〈 z2 〉 | ---> |
``9'' 〈 z2 〉 |
〈 z2 〉 | ---> |
``,'' 〈 z3 〉 |
|
〈 z3 〉 | ---> |
``0'' 〈 z4 〉 |
| ··· | |
〈 z3 〉 | ---> |
``9'' 〈 z4 〉 |
〈 z3 〉 | ---> |
``,'' 〈 z5 〉 |
〈 z4 〉 | ---> |
``0'' 〈 z4 〉 |
| ··· | |
〈 z4 〉 | ---> |
``9'' 〈 z4 〉 |
〈 z4 〉 | ---> |
``,'' 〈 z5 〉 |
〈 z5 〉 | ---> |
``0'' 〈 z5 〉 |
| ··· | |
〈 z5 〉 | ---> |
``9'' 〈 z5 〉 |
〈 z5 〉 | ---> |
``,'' 〈 z5 〉 |
|
|
 | S = 〈 z1 〉
|