CoCalc Shared Filesvcsn / doc / notebooksOpen in CoCalc with one click!
Views of something in this directory: 5272
!Read-me-first.html
!Read-me-first.ipynb
Algorithms.html
Algorithms.ipynb
Automata.html
Automata.ipynb
C++-Library.html
C++-Library.ipynb
CIAA-2016.html
CIAA-2016.ipynb
Contexts.html
Contexts.ipynb
D3_IPython_widget.ipynb
Expressions.html
Expressions.ipynb
Glossary.html
Glossary.ipynb
Hacking.html
Hacking.ipynb
ICTAC-2016.html
ICTAC-2016.ipynb
ICTAC-2017.html
ICTAC-2017.ipynb
References.html
References.ipynb
SACS-2017.html
SACS-2017.ipynb
Sms2fr.html
Sms2fr.ipynb
Spell-checker.html
Spell-checker.ipynb
Stackoverflow.html
Stackoverflow.ipynb
Tools.html
Tools.ipynb
Transducers.html
Transducers.ipynb
Trouble-Shooting.html
Trouble-Shooting.ipynb
Widgets.ipynb
automaton.Operators.html
automaton.Operators.ipynb
automaton.accessible.html
automaton.accessible.ipynb
automaton.add.html
automaton.add.ipynb
automaton.ambiguous_word.html
automaton.ambiguous_word.ipynb
automaton.coaccessible.html
automaton.coaccessible.ipynb
automaton.codeterminize.html
automaton.codeterminize.ipynb
automaton.cominimize.html
automaton.cominimize.ipynb
automaton.complement.html
automaton.complement.ipynb
automaton.complete.html
automaton.complete.ipynb
automaton.compose.html
automaton.compose.ipynb
automaton.conjugate.html
automaton.conjugate.ipynb
automaton.conjunction.html
automaton.conjunction.ipynb
automaton.context.html
automaton.context.ipynb
automaton.costandard.html
automaton.costandard.ipynb
automaton.delay_automaton.html
automaton.delay_automaton.ipynb
automaton.determinize.html
automaton.determinize.ipynb
automaton.difference.html
automaton.difference.ipynb
automaton.eliminate_state.html
automaton.eliminate_state.ipynb
automaton.evaluate.html
automaton.evaluate.ipynb
automaton.expression.html
automaton.expression.ipynb
automaton.factor.html
automaton.factor.ipynb
automaton.filter.html
automaton.filter.ipynb
automaton.has_bounded_lag.html
automaton.has_bounded_lag.ipynb
automaton.has_lightening_cycle.html
automaton.has_lightening_cycle.ipynb
automaton.has_twins_property.html
automaton.has_twins_property.ipynb
automaton.infiltrate.html
automaton.infiltrate.ipynb
automaton.info.html
automaton.info.ipynb
automaton.insplit.html
automaton.insplit.ipynb
automaton.is_accessible.html
automaton.is_accessible.ipynb
automaton.is_ambiguous.html
automaton.is_ambiguous.ipynb
automaton.is_coaccessible.html
automaton.is_coaccessible.ipynb
automaton.is_codeterministic.html
automaton.is_codeterministic.ipynb
automaton.is_complete.html
automaton.is_complete.ipynb
automaton.is_costandard.html
automaton.is_costandard.ipynb
automaton.is_cycle_ambiguous.html
automaton.is_cycle_ambiguous.ipynb
automaton.is_deterministic.html
automaton.is_deterministic.ipynb
automaton.is_empty.html
automaton.is_empty.ipynb
automaton.is_equivalent.html
automaton.is_equivalent.ipynb
automaton.is_functional.html
automaton.is_functional.ipynb
automaton.is_isomorphic.html
automaton.is_isomorphic.ipynb
automaton.is_letterized.html
automaton.is_letterized.ipynb
automaton.is_partial_identity.html
automaton.is_partial_identity.ipynb
automaton.is_proper.html
automaton.is_proper.ipynb
automaton.is_realtime.html
automaton.is_realtime.ipynb
automaton.is_standard.html
automaton.is_standard.ipynb
automaton.is_synchronized.html
automaton.is_synchronized.ipynb
automaton.is_trim.html
automaton.is_trim.ipynb
automaton.is_useless.html
automaton.is_useless.ipynb
automaton.is_valid.html
automaton.is_valid.ipynb
automaton.ldivide.html
automaton.ldivide.ipynb
automaton.letterize.html
automaton.letterize.ipynb
automaton.lift.html
automaton.lift.ipynb
automaton.lightest.html
automaton.lightest.ipynb
automaton.lightest_automaton.html
automaton.lightest_automaton.ipynb
automaton.lweight.html
automaton.lweight.ipynb
automaton.minimize.html
automaton.minimize.ipynb
automaton.multiply.html
automaton.multiply.ipynb
automaton.pair.html
automaton.pair.ipynb
automaton.partial_identity.html
automaton.partial_identity.ipynb
automaton.prefix.html
automaton.prefix.ipynb
automaton.project.html
automaton.project.ipynb
automaton.proper.html
automaton.proper.ipynb
automaton.push_weights.html
automaton.push_weights.ipynb
automaton.rdivide.html
automaton.rdivide.ipynb
automaton.realtime.html
automaton.realtime.ipynb
automaton.reduce.html
automaton.reduce.ipynb
automaton.rweight.html
automaton.rweight.ipynb
automaton.scc.html
automaton.scc.ipynb
automaton.shortest.html
automaton.shortest.ipynb
automaton.shuffle.html
automaton.shuffle.ipynb
automaton.standard.html
automaton.standard.ipynb
automaton.star.html
automaton.star.ipynb
automaton.strip.html
automaton.strip.ipynb
automaton.subword.html
automaton.subword.ipynb
automaton.suffix.html
automaton.suffix.ipynb
automaton.synchronize.html
automaton.synchronize.ipynb
automaton.synchronizing_word.html
automaton.synchronizing_word.ipynb
automaton.transpose.html
automaton.transpose.ipynb
automaton.trim.html
automaton.trim.ipynb
automaton.tuple.html
automaton.tuple.ipynb
automaton.type.html
automaton.type.ipynb
automaton.weight_series.html
automaton.weight_series.ipynb
check-notebooks
context.Operators.html
context.Operators.ipynb
context.cerny.html
context.cerny.ipynb
context.cotrie.html
context.cotrie.ipynb
context.de_bruijn.html
context.de_bruijn.ipynb
context.divkbaseb.html
context.divkbaseb.ipynb
context.ladybird.html
context.ladybird.ipynb
context.levenshtein.html
context.levenshtein.ipynb
context.quotkbaseb.html
context.quotkbaseb.ipynb
context.random_automaton.html
context.random_automaton.ipynb
context.random_expression.html
context.random_expression.ipynb
context.random_weight.html
context.random_weight.ipynb
context.trie.html
context.trie.ipynb
context.tuple.html
context.tuple.ipynb
context.weight_one.html
context.weight_one.ipynb
context.weight_zero.html
context.weight_zero.ipynb
context.word_context.html
context.word_context.ipynb
demonstration.ipynb
expansion.Operators.html
expansion.Operators.ipynb
expansion.add.html
expansion.add.ipynb
expansion.complement.html
expansion.complement.ipynb
expansion.conjunction.html
expansion.conjunction.ipynb
expansion.ldivide.html
expansion.ldivide.ipynb
expansion.lweight.html
expansion.lweight.ipynb
expansion.project.html
expansion.project.ipynb
expansion.rweight.html
expansion.rweight.ipynb
expansion.tuple.html
expansion.tuple.ipynb
expression.Operators.html
expression.Operators.ipynb
expression.add.html
expression.add.ipynb
expression.automaton.html
expression.automaton.ipynb
expression.complement.html
expression.complement.ipynb
expression.conjunction.html
expression.conjunction.ipynb
expression.constant_term.html
expression.constant_term.ipynb
expression.context.html
expression.context.ipynb
expression.derivation.html
expression.derivation.ipynb
expression.derived_term.html
expression.derived_term.ipynb
expression.difference.html
expression.difference.ipynb
expression.expansion.html
expression.expansion.ipynb
expression.inductive.html
expression.inductive.ipynb
expression.infiltrate.html
expression.infiltrate.ipynb
expression.info.html
expression.info.ipynb
expression.is_equivalent.html
expression.is_equivalent.ipynb
expression.is_valid.html
expression.is_valid.ipynb
expression.ldivide.html
expression.ldivide.ipynb
expression.lift.html
expression.lift.ipynb
expression.lweight.html
expression.lweight.ipynb
expression.multiply.html
expression.multiply.ipynb
expression.partial_identity.html
expression.partial_identity.ipynb
expression.project.html
expression.project.ipynb
expression.rdivide.html
expression.rdivide.ipynb
expression.rweight.html
expression.rweight.ipynb
expression.shortest.html
expression.shortest.ipynb
expression.shuffle.html
expression.shuffle.ipynb
expression.split.html
expression.split.ipynb
expression.standard.html
expression.standard.ipynb
expression.star_normal_form.html
expression.star_normal_form.ipynb
expression.thompson.html
expression.thompson.ipynb
expression.transpose.html
expression.transpose.ipynb
expression.transposition.html
expression.transposition.ipynb
expression.tuple.html
expression.tuple.ipynb
expression.zpc.html
expression.zpc.ipynb
index.html
label.Operators.html
label.Operators.ipynb
label.ldivide.html
label.ldivide.ipynb
label.multiply.html
label.multiply.ipynb
label.rdivide.html
label.rdivide.ipynb
local.mk
polynomial.Operators.html
polynomial.Operators.ipynb
polynomial.add.html
polynomial.add.ipynb
polynomial.conjunction.html
polynomial.conjunction.ipynb
polynomial.cotrie.html
polynomial.cotrie.ipynb
polynomial.ldivide.html
polynomial.ldivide.ipynb
polynomial.lweight.html
polynomial.lweight.ipynb
polynomial.multiply.html
polynomial.multiply.ipynb
polynomial.rweight.html
polynomial.rweight.ipynb
polynomial.split.html
polynomial.split.ipynb
polynomial.trie.html
polynomial.trie.ipynb
polynomial.tuple.html
polynomial.tuple.ipynb
weight.Operators.html
weight.Operators.ipynb
weight.add.html
weight.add.ipynb
weight.ldivide.html
weight.ldivide.ipynb
weight.multiply.html
weight.multiply.ipynb
weight.rdivide.html
weight.rdivide.ipynb