Content added Content deleted
|
|
| Line 378: |
Line 378: |
|
</pre> |
|
</pre> |
|
|
|
|
|
⚫ |
<lang awk>Another new solution (twice size as previous solution) : |
|
<lang awk> |
|
|
|
cat automata.awk : |
| ⚫ |
Another new solution (twice size as previous solution) : |
|
|
|
|
|
#!/usr/local/bin/gawk -f |
|
#!/usr/local/bin/gawk -f |
|
|
|
|
