Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

automaton: iterator over words of language #15267

Closed
dkrenn opened this issue Oct 9, 2013 · 27 comments
Closed

automaton: iterator over words of language #15267

dkrenn opened this issue Oct 9, 2013 · 27 comments
Labels
c: finite state machines p: major / 3 t: enhancement
Milestone
sage-6.9

Comments

@dkrenn
Copy link
Contributor

dkrenn commented Oct 9, 2013

Add a method language(self, n, initial_state) to FiniteStateMachine which returns an iterator over all words of length n recognized by the automaton/finite state machine. Possibly, use sage.combinat.words.

See also #15078 comment:10.

Depends on #18114
Depends on #18118

CC: @cheuberg @sagetrac-skropf

Component: finite state machines

Keywords: automata, finite state machines, language, iterator, automatic sequences, sd66

Author: Daniel Krenn

Branch/Commit: 12180ef

Reviewer: Clemens Heuberger

Issue created by migration from https://trac.sagemath.org/ticket/15267
@dkrenn dkrenn added this to the sage-6.1 milestone Oct 9, 2013
@dkrenn

This comment has been minimized.

Sign in to view
@dkrenn
Copy link
Contributor Author

dkrenn commented Oct 9, 2013

Changed keywords from automata, finite state machines, language, iterator to automata, finite state machines, language, iterator, automatic sequences

@sagetrac-vbraun-spam sagetrac-vbraun-spam mannequin modified the milestones: sage-6.1, sage-6.2 Jan 30, 2014
@sagetrac-vbraun-spam sagetrac-vbraun-spam mannequin modified the milestones: sage-6.2, sage-6.3 May 6, 2014
@sagetrac-vbraun-spam sagetrac-vbraun-spam mannequin modified the milestones: sage-6.3, sage-6.4 Aug 10, 2014
@dkrenn
Copy link
Contributor Author

dkrenn commented Apr 2, 2015

Branch: u/dkrenn/fsm/languages

@dkrenn
Copy link
Contributor Author

dkrenn commented Apr 2, 2015

Changed keywords from automata, finite state machines, language, iterator, automatic sequences to automata, finite state machines, language, iterator, automatic sequences, sd66

@dkrenn
Copy link
Contributor Author

dkrenn commented Apr 2, 2015

Last 10 new commits:

39c9f14process iterator: add write_in_every_step flag
b25d39dimplement `_FSMProcessIteratorAll_` and correct TapeCacheDetectAll
2f5796ewrite_in_every_step documented in process
84e90d3option process_iterator_class
dfdde86language-method for FSMs
84f5dd3language-method for automata
a277da9include language in toc
2f657ebdescribe kwargs (link to)
ea7e1c7more seealsos
0797263document and doctest iteration without restriction

@dkrenn
Copy link
Contributor Author

dkrenn commented Apr 2, 2015

Commit: 0797263

@dkrenn
Copy link
Contributor Author

dkrenn commented Apr 2, 2015

Changed dependencies from #15078 to #15078, #18114

@sagetrac-git
Copy link
Mannequin

sagetrac-git mannequin commented Apr 6, 2015

Branch pushed to git repo; I updated commit sha1. New commits:

54c99b9implement type-simple-iterator
9bf4d02iter_process_simple: docstring and small renaming of parameter
9376b18improved doctests (using words)
3d3039bMerge branch 'fsm/iter_process-simple' into fsm/words

@sagetrac-git
Copy link
Mannequin

sagetrac-git mannequin commented Apr 6, 2015

Changed commit from 0797263 to 3d3039b

@dkrenn
Copy link
Contributor Author

dkrenn commented Apr 6, 2015

comment:10

Merge #18118 to avoid merge conflict.

@dkrenn
Copy link
Contributor Author

dkrenn commented Apr 6, 2015

Changed dependencies from #15078, #18114 to #15078, #18114, #18118

@dkrenn
Copy link
Contributor Author

dkrenn commented Apr 6, 2015

Author: Daniel Krenn

@sagetrac-git
Copy link
Mannequin

sagetrac-git mannequin commented Apr 7, 2015

Changed commit from 3d3039b to 5d59d90

@sagetrac-git
Copy link
Mannequin

sagetrac-git mannequin commented Apr 7, 2015

Branch pushed to git repo; I updated commit sha1. New commits:

ebe8c7badded tests to check that A.transducer(...).input_projection gives A
b604319improve docstring according to comments on trac
f209b0frename Automaton.transducer to Automaton.with_output
06842f6additional doctests/examples
cdcd3c0seealso-blocks
8bd4296Merge branch 't/18114/fsm/automaton-to-transducer' into t/15267/fsm/languages
5d59d90adapt code after merge to pass doctests

@cheuberg
Copy link
Contributor

Changed branch from u/dkrenn/fsm/languages to u/cheuberg/fsm/languages

@sagetrac-git
Copy link
Mannequin

sagetrac-git mannequin commented Apr 17, 2015

Branch pushed to git repo; I updated commit sha1. New commits:

e439bf2Trac #15267: Reviewer patch: Use ZZ(..., base=2)

@sagetrac-git
Copy link
Mannequin

sagetrac-git mannequin commented Apr 17, 2015

Changed commit from 5d59d90 to e439bf2

@cheuberg
Copy link
Contributor

comment:14
  • please cross-review reviewer patch.
  • documentation of the parameter write_in_every_step is unclear in all occurrences: what does "the output is stored" mean? It seems that it means that instead of processing the input word, all prefixes of the input word are processed.
  • parameter process_iterator_class: the consequences of setting this parameter are not explained.
  • _FSMProcessIteratorAll_: "but only accepts": remove "only"?

@cheuberg cheuberg modified the milestones: sage-6.4, sage-6.7 Apr 17, 2015
@cheuberg
Copy link
Contributor

Reviewer: Clemens Heuberger

@dkrenn
Copy link
Contributor Author

dkrenn commented Sep 14, 2015

Changed branch from u/cheuberg/fsm/languages to u/dkrenn/fsm/languages

@dkrenn
Copy link
Contributor Author

dkrenn commented Sep 14, 2015

Changed commit from e439bf2 to 7c9a164

@dkrenn
Copy link
Contributor Author

dkrenn commented Sep 14, 2015

comment:18

Replying to @cheuberg:

  • please cross-review reviewer patch.

Done; looks ok.

  • documentation of the parameter write_in_every_step is unclear in all occurrences: what does "the output is stored" mean? It seems that it means that instead of processing the input word, all prefixes of the input word are processed.

Renamed and rewritten.

  • parameter process_iterator_class: the consequences of setting this parameter are not explained.

Explained.

  • _FSMProcessIteratorAll_: "but only accepts": remove "only"?

Done.

New commits:

6e47b1dminor rephrase doc: remove one "only"
80d8798rename write_in_every_step and rephrase doc
7c9a164rephrase/extend doc of process_iterator_class

@cheuberg
Copy link
Contributor

Changed branch from u/dkrenn/fsm/languages to u/cheuberg/fsm/languages

@cheuberg
Copy link
Contributor

comment:20

Modifications are fine, I add a minor commit.

New commits:

12180efTrac #15267: Reviewer commit: minor rewording docstring

@cheuberg
Copy link
Contributor

Changed commit from 7c9a164 to 12180ef

@cheuberg cheuberg modified the milestones: sage-6.7, sage-6.9 Sep 14, 2015
@vbraun
Copy link
Member

vbraun commented Sep 17, 2015

Changed dependencies from #15078, #18114, #18118 to #18114, #18118

@vbraun
Copy link
Member

vbraun commented Sep 18, 2015

Changed branch from u/cheuberg/fsm/languages to 12180ef

@vbraun vbraun closed this as completed in f0bd56d Sep 18, 2015
This was referenced Oct 9, 2013
Closed
Closed
Closed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
c: finite state machines p: major / 3 t: enhancement
Projects
None yet
Milestone
sage-6.9
Development

No branches or pull requests
3 participants
@vbraun @cheuberg @dkrenn