|Title & Link||Platform||Price||Max string length||Autocomplete?|
|Complexity of…||Lookup over HTTP||FREE||23 (MySQL)||No|
|AutoComplex||Web app for the Opera browser||FREE||19||YES (2-column)|
|AutoComplex 7.0||Android, Amazon||0.99 USD||14 (witnesses length 13*)||YES|
|AutoComplex||Python, Google App Engine||FREE||8||No|
|Automaton Complexity 4.0||Android||FREE||6||No|
*Note, one cannot use length 13 directly in a Java method as it leads to
The code of constructor MainActivity() is exceeding the 65535 bytes limit.
If we instead put the data in an XML file, we get a problem with witnesses at length 14:
Too many constants, the constant pool for R.string would exceed 65536 entries.
So to get witnesses to length 14, a new approach is needed.
Version 6 provides proof hints (witnessing sequences) up to length 12.
Version 7 provides proof hints (witnessing sequences) up to length 13.
Frequently asked questions
Is there an iPhone version?
No, but there is a free web app version.
What is the definition of automaton complexity?
Please see K. Hyde’s MA thesis.
Email the developer for customer support inquiries.