POSIX区域测试9的可分性

Question

编写最短的POSIX格式正则表达式，该表达式只匹配可被9整除的非负整数。非负整数应在基数10中给出。

Answer 1

202,071字节

显然，解决方案太大了，不能包含在这篇文章中。

我使用JFLAP绘制DFA，然后从它生成正则表达式。然后在文本编辑器中处理输出，将(0+9)替换为[09]，+替换为|。

以下是全部要点，带有一些Java测试代码。