Index of /dload/vcsn/2.3/notebooks/
../
!Read-me-first.html 08-Jul-2016 15:18 308506
!Read-me-first.ipynb 08-Jul-2016 15:18 63350
Algorithms.html 08-Jul-2016 15:18 264977
Algorithms.ipynb 08-Jul-2016 15:18 14434
Automata.html 08-Jul-2016 15:18 360392
Automata.ipynb 08-Jul-2016 15:18 120770
C++-Library.html 08-Jul-2016 15:18 284270
C++-Library.ipynb 08-Jul-2016 15:18 37106
CIAA-2016.html 08-Jul-2016 15:18 318112
CIAA-2016.ipynb 08-Jul-2016 15:18 73227
Contexts.html 08-Jul-2016 15:18 269201
Contexts.ipynb 08-Jul-2016 15:18 17937
Executables.html 08-Jul-2016 15:18 265294
Executables.ipynb 08-Jul-2016 15:18 16372
Expressions.html 08-Jul-2016 15:18 271364
Expressions.ipynb 08-Jul-2016 15:18 28514
Glossary.html 08-Jul-2016 15:18 251355
Glossary.ipynb 08-Jul-2016 15:18 2604
Hacking.html 08-Jul-2016 15:18 266015
Hacking.ipynb 08-Jul-2016 15:18 18772
ICTAC-2016.html 08-Jul-2016 15:18 385080
ICTAC-2016.ipynb 08-Jul-2016 15:18 146247
References.html 08-Jul-2016 15:18 261901
References.ipynb 08-Jul-2016 15:18 14658
Spell-checker.html 08-Jul-2016 15:18 287773
Spell-checker.ipynb 08-Jul-2016 15:18 40045
Stackoverflow.html 08-Jul-2016 15:18 326400
Stackoverflow.ipynb 08-Jul-2016 15:18 83457
Transducers.html 08-Jul-2016 15:18 271914
Transducers.ipynb 08-Jul-2016 15:18 26107
Trouble-Shooting.html 08-Jul-2016 15:18 256389
Trouble-Shooting.ipynb 08-Jul-2016 15:18 7656
automaton.accessible.html 08-Jul-2016 15:18 261081
automaton.accessible.ipynb 08-Jul-2016 15:18 13615
automaton.add.html 08-Jul-2016 15:18 275640
automaton.add.ipynb 08-Jul-2016 15:18 30313
automaton.ambiguous_word.html 08-Jul-2016 15:18 263552
automaton.ambiguous_word.ipynb 08-Jul-2016 15:18 16448
automaton.coaccessible.html 08-Jul-2016 15:18 261187
automaton.coaccessible.ipynb 08-Jul-2016 15:18 13700
automaton.codeterminize.html 08-Jul-2016 15:18 266098
automaton.codeterminize.ipynb 08-Jul-2016 15:18 20652
automaton.cominimize.html 08-Jul-2016 15:18 273782
automaton.cominimize.ipynb 08-Jul-2016 15:18 28065
automaton.complement.html 08-Jul-2016 15:18 272522
automaton.complement.ipynb 08-Jul-2016 15:18 27141
automaton.complete.html 08-Jul-2016 15:18 263685
automaton.complete.ipynb 08-Jul-2016 15:18 16814
automaton.compose.html 08-Jul-2016 15:18 368663
automaton.compose.ipynb 08-Jul-2016 15:18 139342
automaton.conjugate.html 08-Jul-2016 15:18 267944
automaton.conjugate.ipynb 08-Jul-2016 15:18 22432
automaton.conjunction.html 08-Jul-2016 15:18 297770
automaton.conjunction.ipynb 08-Jul-2016 15:18 55253
automaton.context.html 08-Jul-2016 15:18 250707
automaton.context.ipynb 08-Jul-2016 15:18 1775
automaton.costandard.html 08-Jul-2016 15:18 278800
automaton.costandard.ipynb 08-Jul-2016 15:18 34791
automaton.delay_automaton.html 08-Jul-2016 15:18 275568
automaton.delay_automaton.ipynb 08-Jul-2016 15:18 30443
automaton.determinize.html 08-Jul-2016 15:18 377721
automaton.determinize.ipynb 08-Jul-2016 15:18 147177
automaton.difference.html 08-Jul-2016 15:18 270182
automaton.difference.ipynb 08-Jul-2016 15:18 24733
automaton.eliminate_state.html 08-Jul-2016 15:18 298817
automaton.eliminate_state.ipynb 08-Jul-2016 15:18 61649
automaton.eval.html 08-Jul-2016 15:18 259566
automaton.eval.ipynb 08-Jul-2016 15:18 10096
automaton.expression.html 08-Jul-2016 15:18 270485
automaton.expression.ipynb 08-Jul-2016 15:18 21320
automaton.factor.html 08-Jul-2016 15:18 269476
automaton.factor.ipynb 08-Jul-2016 15:18 25620
automaton.filter.html 08-Jul-2016 15:18 289203
automaton.filter.ipynb 08-Jul-2016 15:18 44557
automaton.has_bounded_lag.html 08-Jul-2016 15:18 266589
automaton.has_bounded_lag.ipynb 08-Jul-2016 15:18 18618
automaton.has_lightening_cycle.html 08-Jul-2016 15:18 254819
automaton.has_lightening_cycle.ipynb 08-Jul-2016 15:18 3401
automaton.has_twins_property.html 08-Jul-2016 15:18 309945
automaton.has_twins_property.ipynb 08-Jul-2016 15:18 68221
automaton.infiltrate.html 08-Jul-2016 15:18 365614
automaton.infiltrate.ipynb 08-Jul-2016 15:18 135027
automaton.info.html 08-Jul-2016 15:18 261936
automaton.info.ipynb 08-Jul-2016 15:18 13759
automaton.insplit.html 08-Jul-2016 15:18 280312
automaton.insplit.ipynb 08-Jul-2016 15:18 36853
automaton.is_accessible.html 08-Jul-2016 15:18 260392
automaton.is_accessible.ipynb 08-Jul-2016 15:18 12797
automaton.is_ambiguous.html 08-Jul-2016 15:18 262593
automaton.is_ambiguous.ipynb 08-Jul-2016 15:18 16013
automaton.is_coaccessible.html 08-Jul-2016 15:18 260429
automaton.is_coaccessible.ipynb 08-Jul-2016 15:18 12828
automaton.is_codeterministic.html 08-Jul-2016 15:18 255975
automaton.is_codeterministic.ipynb 08-Jul-2016 15:18 8140
automaton.is_complete.html 08-Jul-2016 15:18 259515
automaton.is_complete.ipynb 08-Jul-2016 15:18 11752
automaton.is_costandard.html 08-Jul-2016 15:18 265012
automaton.is_costandard.ipynb 08-Jul-2016 15:18 17614
automaton.is_cycle_ambiguous.html 08-Jul-2016 15:18 282283
automaton.is_cycle_ambiguous.ipynb 08-Jul-2016 15:18 37482
automaton.is_deterministic.html 08-Jul-2016 15:18 260773
automaton.is_deterministic.ipynb 08-Jul-2016 15:18 12583
automaton.is_empty.html 08-Jul-2016 15:18 254188
automaton.is_empty.ipynb 08-Jul-2016 15:18 5086
automaton.is_equivalent.html 08-Jul-2016 15:18 323402
automaton.is_equivalent.ipynb 08-Jul-2016 15:18 80867
automaton.is_functional.html 08-Jul-2016 15:18 281248
automaton.is_functional.ipynb 08-Jul-2016 15:18 35412
automaton.is_isomorphic.html 08-Jul-2016 15:18 273903
automaton.is_isomorphic.ipynb 08-Jul-2016 15:18 24352
automaton.is_letterized.html 08-Jul-2016 15:18 268207
automaton.is_letterized.ipynb 08-Jul-2016 15:18 21191
automaton.is_partial_identity.html 08-Jul-2016 15:18 260708
automaton.is_partial_identity.ipynb 08-Jul-2016 15:18 13618
automaton.is_proper.html 08-Jul-2016 15:18 259421
automaton.is_proper.ipynb 08-Jul-2016 15:18 11874
automaton.is_realtime.html 08-Jul-2016 15:18 277528
automaton.is_realtime.ipynb 08-Jul-2016 15:18 32664
automaton.is_standard.html 08-Jul-2016 15:18 264532
automaton.is_standard.ipynb 08-Jul-2016 15:18 16824
automaton.is_synchronized.html 08-Jul-2016 15:18 283812
automaton.is_synchronized.ipynb 08-Jul-2016 15:18 39278
automaton.is_trim.html 08-Jul-2016 15:18 268768
automaton.is_trim.ipynb 08-Jul-2016 15:18 21776
automaton.is_useless.html 08-Jul-2016 15:18 262510
automaton.is_useless.ipynb 08-Jul-2016 15:18 13788
automaton.is_valid.html 08-Jul-2016 15:18 284232
automaton.is_valid.ipynb 08-Jul-2016 15:18 39137
automaton.ldivide.html 08-Jul-2016 15:18 301708
automaton.ldivide.ipynb 08-Jul-2016 15:18 56103
automaton.letterize.html 08-Jul-2016 15:18 282564
automaton.letterize.ipynb 08-Jul-2016 15:18 39101
automaton.lift.html 08-Jul-2016 15:18 260690
automaton.lift.ipynb 08-Jul-2016 15:18 12566
automaton.lightest.html 08-Jul-2016 15:18 261200
automaton.lightest.ipynb 08-Jul-2016 15:18 13907
automaton.lightest_automaton.html 08-Jul-2016 15:18 269191
automaton.lightest_automaton.ipynb 08-Jul-2016 15:18 24822
automaton.lweight.html 08-Jul-2016 15:18 266841
automaton.lweight.ipynb 08-Jul-2016 15:18 20737
automaton.minimize.html 08-Jul-2016 15:18 359771
automaton.minimize.ipynb 08-Jul-2016 15:18 123618
automaton.multiply.html 08-Jul-2016 15:18 409526
automaton.multiply.ipynb 08-Jul-2016 15:18 188664
automaton.operators.html 08-Jul-2016 15:18 249729
automaton.operators.ipynb 08-Jul-2016 15:18 2032
automaton.pair.html 08-Jul-2016 15:18 268680
automaton.pair.ipynb 08-Jul-2016 15:18 23496
automaton.partial_identity.html 08-Jul-2016 15:18 268876
automaton.partial_identity.ipynb 08-Jul-2016 15:18 22790
automaton.prefix.html 08-Jul-2016 15:18 267613
automaton.prefix.ipynb 08-Jul-2016 15:18 23343
automaton.project.html 08-Jul-2016 15:18 287018
automaton.project.ipynb 08-Jul-2016 15:18 45312
automaton.proper.html 08-Jul-2016 15:18 355266
automaton.proper.ipynb 08-Jul-2016 15:18 118948
automaton.push_weights.html 08-Jul-2016 15:18 283633
automaton.push_weights.ipynb 08-Jul-2016 15:18 40877
automaton.rdivide.html 08-Jul-2016 15:18 262437
automaton.rdivide.ipynb 08-Jul-2016 15:18 15124
automaton.realtime.html 08-Jul-2016 15:18 292414
automaton.realtime.ipynb 08-Jul-2016 15:18 49915
automaton.reduce.html 08-Jul-2016 15:18 302786
automaton.reduce.ipynb 08-Jul-2016 15:18 60642
automaton.rweight.html 08-Jul-2016 15:18 269667
automaton.rweight.ipynb 08-Jul-2016 15:18 24175
automaton.scc.html 08-Jul-2016 15:18 310190
automaton.scc.ipynb 08-Jul-2016 15:18 67566
automaton.shortest.html 08-Jul-2016 15:18 277448
automaton.shortest.ipynb 08-Jul-2016 15:18 28932
automaton.shuffle.html 08-Jul-2016 15:18 320594
automaton.shuffle.ipynb 08-Jul-2016 15:18 81648
automaton.standard.html 08-Jul-2016 15:18 277849
automaton.standard.ipynb 08-Jul-2016 15:18 34361
automaton.star.html 08-Jul-2016 15:18 277183
automaton.star.ipynb 08-Jul-2016 15:18 32955
automaton.strip.html 08-Jul-2016 15:18 293618
automaton.strip.ipynb 08-Jul-2016 15:18 50889
automaton.subword.html 08-Jul-2016 15:19 264868
automaton.subword.ipynb 08-Jul-2016 15:19 19915
automaton.suffix.html 08-Jul-2016 15:19 267610
automaton.suffix.ipynb 08-Jul-2016 15:19 23340
automaton.synchronize.html 08-Jul-2016 15:19 282213
automaton.synchronize.ipynb 08-Jul-2016 15:19 37795
automaton.synchronizing_word.html 08-Jul-2016 15:19 282101
automaton.synchronizing_word.ipynb 08-Jul-2016 15:19 31337
automaton.transpose.html 08-Jul-2016 15:19 286699
automaton.transpose.ipynb 08-Jul-2016 15:19 42882
automaton.trim.html 08-Jul-2016 15:19 259480
automaton.trim.ipynb 08-Jul-2016 15:19 11847
automaton.tuple.html 08-Jul-2016 15:19 278838
automaton.tuple.ipynb 08-Jul-2016 15:19 35980
automaton.type.html 08-Jul-2016 15:19 251674
automaton.type.ipynb 08-Jul-2016 15:19 2130
automaton.weight_series.html 08-Jul-2016 15:19 267658
automaton.weight_series.ipynb 08-Jul-2016 15:19 21582
context.cerny.html 08-Jul-2016 15:19 256688
context.cerny.ipynb 08-Jul-2016 15:19 9598
context.cotrie.html 08-Jul-2016 15:19 317255
context.cotrie.ipynb 08-Jul-2016 15:19 82628
context.de_bruijn.html 08-Jul-2016 15:19 277736
context.de_bruijn.ipynb 08-Jul-2016 15:19 34096
context.divkbaseb.html 08-Jul-2016 15:19 278251
context.divkbaseb.ipynb 08-Jul-2016 15:19 34432
context.ladybird.html 08-Jul-2016 15:19 282695
context.ladybird.ipynb 08-Jul-2016 15:19 39935
context.levenshtein.html 08-Jul-2016 15:19 382693
context.levenshtein.ipynb 08-Jul-2016 15:19 154405
context.quotkbaseb.html 08-Jul-2016 15:19 257326
context.quotkbaseb.ipynb 08-Jul-2016 15:19 9492
context.random_automaton.html 08-Jul-2016 15:19 289079
context.random_automaton.ipynb 08-Jul-2016 15:19 45874
context.random_expression.html 08-Jul-2016 15:19 254370
context.random_expression.ipynb 08-Jul-2016 15:19 4467
context.trie.html 08-Jul-2016 15:19 320607
context.trie.ipynb 08-Jul-2016 15:19 86685
expansion.add.html 08-Jul-2016 15:19 253624
expansion.add.ipynb 08-Jul-2016 15:19 3905
expansion.lweight.html 08-Jul-2016 15:19 254486
expansion.lweight.ipynb 08-Jul-2016 15:19 3982
expansion.operators.html 08-Jul-2016 15:19 249122
expansion.operators.ipynb 08-Jul-2016 15:19 1354
expansion.project.html 08-Jul-2016 15:19 255799
expansion.project.ipynb 08-Jul-2016 15:19 5078
expansion.rweight.html 08-Jul-2016 15:19 255254
expansion.rweight.ipynb 08-Jul-2016 15:19 4647
expression.add.html 08-Jul-2016 15:19 252394
expression.add.ipynb 08-Jul-2016 15:19 2444
expression.automaton.html 08-Jul-2016 15:19 347763
expression.automaton.ipynb 08-Jul-2016 15:19 115651
expression.complement.html 08-Jul-2016 15:19 260922
expression.complement.ipynb 08-Jul-2016 15:19 14245
expression.conjunction.html 08-Jul-2016 15:19 255815
expression.conjunction.ipynb 08-Jul-2016 15:19 7393
expression.constant_term.html 08-Jul-2016 15:19 255071
expression.constant_term.ipynb 08-Jul-2016 15:19 5013
expression.derivation.html 08-Jul-2016 15:19 286296
expression.derivation.ipynb 08-Jul-2016 15:19 35111
expression.derived_term.html 08-Jul-2016 15:19 392860
expression.derived_term.ipynb 08-Jul-2016 15:19 159088
expression.difference.html 08-Jul-2016 15:19 254516
expression.difference.ipynb 08-Jul-2016 15:19 5112
expression.expansion.html 08-Jul-2016 15:19 278038
expression.expansion.ipynb 08-Jul-2016 15:19 24971
expression.inductive.html 08-Jul-2016 15:19 268762
expression.inductive.ipynb 08-Jul-2016 15:19 23507
expression.infiltrate.html 08-Jul-2016 15:19 286618
expression.infiltrate.ipynb 08-Jul-2016 15:19 40275
expression.info.html 08-Jul-2016 15:19 283907
expression.info.ipynb 08-Jul-2016 15:19 38866
expression.is_equivalent.html 08-Jul-2016 15:19 257255
expression.is_equivalent.ipynb 08-Jul-2016 15:19 4157
expression.is_valid.html 08-Jul-2016 15:19 256791
expression.is_valid.ipynb 08-Jul-2016 15:19 4742
expression.lift.html 08-Jul-2016 15:19 252967
expression.lift.ipynb 08-Jul-2016 15:19 3439
expression.lweight.html 08-Jul-2016 15:19 253528
expression.lweight.ipynb 08-Jul-2016 15:19 3564
expression.multiply.html 08-Jul-2016 15:19 269133
expression.multiply.ipynb 08-Jul-2016 15:19 14997
expression.operators.html 08-Jul-2016 15:19 249670
expression.operators.ipynb 08-Jul-2016 15:19 2024
expression.project.html 08-Jul-2016 15:19 252565
expression.project.ipynb 08-Jul-2016 15:19 2931
expression.rweight.html 08-Jul-2016 15:19 253529
expression.rweight.ipynb 08-Jul-2016 15:19 3565
expression.shortest.html 08-Jul-2016 15:19 256258
expression.shortest.ipynb 08-Jul-2016 15:19 5542
expression.shuffle.html 08-Jul-2016 15:19 304923
expression.shuffle.ipynb 08-Jul-2016 15:19 63803
expression.standard.html 08-Jul-2016 15:19 258017
expression.standard.ipynb 08-Jul-2016 15:19 10816
expression.star_normal_form.html 08-Jul-2016 15:19 270310
expression.star_normal_form.ipynb 08-Jul-2016 15:19 21819
expression.thompson.html 08-Jul-2016 15:19 308746
expression.thompson.ipynb 08-Jul-2016 15:19 69129
expression.transpose.html 08-Jul-2016 15:19 254840
expression.transpose.ipynb 08-Jul-2016 15:19 4530
expression.transposition.html 08-Jul-2016 15:19 252956
expression.transposition.ipynb 08-Jul-2016 15:19 3260
expression.tuple.html 08-Jul-2016 15:19 273120
expression.tuple.ipynb 08-Jul-2016 15:19 28319
expression.zpc.html 08-Jul-2016 15:19 299116
expression.zpc.ipynb 08-Jul-2016 15:19 58888
label.multiply.html 08-Jul-2016 15:19 255174
label.multiply.ipynb 08-Jul-2016 15:19 4086
label.operators.html 08-Jul-2016 15:19 248643
label.operators.ipynb 08-Jul-2016 15:19 873
polynomial.add.html 08-Jul-2016 15:19 253109
polynomial.add.ipynb 08-Jul-2016 15:19 2842
polynomial.conjunction.html 08-Jul-2016 15:19 250604
polynomial.conjunction.ipynb 08-Jul-2016 15:19 1471
polynomial.cotrie.html 08-Jul-2016 15:19 277754
polynomial.cotrie.ipynb 08-Jul-2016 15:19 32534
polynomial.multiply.html 08-Jul-2016 15:19 250815
polynomial.multiply.ipynb 08-Jul-2016 15:19 1950
polynomial.operators.html 08-Jul-2016 15:19 249266
polynomial.operators.ipynb 08-Jul-2016 15:19 1526
polynomial.trie.html 08-Jul-2016 15:19 293328
polynomial.trie.ipynb 08-Jul-2016 15:19 52546
polynomial.tuple.html 08-Jul-2016 15:19 253833
polynomial.tuple.ipynb 08-Jul-2016 15:19 4268
weight.add.html 08-Jul-2016 15:19 252154
weight.add.ipynb 08-Jul-2016 15:19 2109
weight.multiply.html 08-Jul-2016 15:19 259707
weight.multiply.ipynb 08-Jul-2016 15:19 6618
weight.operators.html 08-Jul-2016 15:19 248820
weight.operators.ipynb 08-Jul-2016 15:19 1065