{% load static %}

I-LaSer

(Independent Language Server, v.6, local version)

{{ automaton }}

{{ transducer }}

{{ result|safe }}

{{ max_result }}

{{ construct_text }}

{{ proof }}

{% csrf_token %}

{{ error_message }}

{% for err in form.non_field_errors %}

{{ err }}

{% endfor %}
Which question do you want us to solve?
{{ form.question }}
{{ form.automata_file.errors }}
{{ form.automata_file }}
{{ form.automata_text }}

Input below the approximation parameters:
Epsilon:
{{ form.epsilon }}
t (Dirichlet distribution param):
{{ form.dirichletT }}
d (Displacement):
{{ form.displacement }}

Input below the integers for the Construction question:
S (# of digits in the alphabet)
{{ form.s_int }}
N (# of words to construct)
{{ form.n_int }}
L (length of these words)
{{ form.l_int }}
{{ form.fixed_type.errors }}
{{ form.fixed_type }}
{{ form.transducer_file.errors }}
{{ form.transducer_file }}
{{ form.transducer_text1 }}
{{ form.theta_file.errors }}
{{ form.theta_file }}
{{ form.theta_text }}

I-LaSer answers questions about regular languages and independent properties - prefix code property, suffix code property, ..., various error-detection and error-correction properties.

  • Satisfaction question: Given language L and property P, does L satisfy P?
  • Maximality question: Given language L and property P, is L maximal with respect to P?
  • Construction question: Given property P and integers N,k>0, return a language of N words of length k satisfying P.
  • Approximate Maximality question: Given language L, property P, and ε is the language (1-ε) close to being maximal?
Quick Notes (click on the "Technical Notes" tab for details): Languages are provided by automata; properties are either fixed, or provided by transducers or trajectory expressions. The alphabets of the given property and the language involved must be the same. The computation of the Construction question produces languages over an alphabet of the form {0,1,...,s} with 2 ≤ s ≤ 10. This is the LaSer local web version. There are no time limits or computation limits in this version.
{% include "tabs/notes.html" %}
{% include "tabs/about.html" %}
{% include "tabs/automaton.html" %}
{% include "tabs/transducer.html" %}
{% include "tabs/trajectory.html" %}
{% include "tabs/theta.html" %}