Analyze
Inspect properties of a term, such as cardinality, length, or equivalence.
Cardinality
Compute how many strings the term matches.
Cardinality › Request Body
Serialized term.
Change how the engine handles the operation.
Cardinality › Responses
Cardinality result.
successNumber of unique strings matched by a term.
Graphviz DOT
Build a Graphviz DOT representation of the term's automaton.
Graphviz DOT › Request Body
Serialized term.
Change how the engine handles the operation.
Graphviz DOT › Responses
Graphviz DOT representation.
successWrapper for a string value.
Empty
Empty String Only
Check if the term matches only the empty string.
Empty String Only › Request Body
Serialized term.
Change how the engine handles the operation.
Empty String Only › Responses
Empty string only result.
successWrapper for a boolean value.
Totality
Deterministic
Check if the term's automaton is deterministic. Only a deterministic FAIR guarantees consistent string ordering across paginated /generate/strings requests; call /compute/determinize first if this is false.
Deterministic › Request Body
Serialized term.
Change how the engine handles the operation.
Deterministic › Responses
Determinism result.
successWrapper for a boolean value.
Equivalent
Check if the two terms accept exactly the same language.
Equivalent › Request Body
Exactly 2 terms.
Change how the engine handles the operation.
Equivalent › Responses
Language equivalence result.
successWrapper for a boolean value.
Length
Compute the minimum and maximum length of strings matched by the term.
Length › Request Body
Serialized term.
Change how the engine handles the operation.
Length › Responses
Length bounds.
successMinimum and maximum length of any string in the language.
Pattern
Return a regular expression pattern that represents the term.
Pattern › Request Body
Serialized term.
Change how the engine handles the operation.
Pattern › Responses
Regular expression pattern.
successWrapper for a string value.
Subset
Check if the first term's language is a subset of the second term's language.
Subset › Request Body
Exactly 2 terms.
Change how the engine handles the operation.
Subset › Responses
Subset result.
successWrapper for a boolean value.