| 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
Answers
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.
Customer Support
Email the developer for customer support inquiries.