Opened 6 years ago

Closed 6 years ago

#18973 closed enhancement (fixed)

New automaton recognizing a word

Reported by: cheuberg Owned by:
Priority: major Milestone: sage-6.9
Component: finite state machines Keywords:
Cc: skropf, dkrenn Merged in:
Authors: Clemens Heuberger Reviewers: Daniel Krenn
Report Upstream: N/A Work issues:
Branch: 8fb682f (Commits, GitHub, GitLab) Commit: 8fb682fea69d508cdfe726ff527a76fff60a7995
Dependencies: Stopgaps:

Status badges


Similarly to the collection of transducers available in the transducers object, an automata object is created which may hold useful transducers.

As a first such transducer, implement a transducer recognizing one given word.

Change History (5)

comment:1 Changed 6 years ago by cheuberg

  • Branch set to u/cheuberg/fsm/generator_word
  • Commit set to 2583d431566b9cc35b0decd0fcc396decbbf7b2e
  • Status changed from new to needs_review

New commits:

2583d43Trac #18973: New automaton recognizing a word

comment:2 Changed 6 years ago by dkrenn

  • Branch changed from u/cheuberg/fsm/generator_word to u/dkrenn/fsm/generator_word

comment:3 follow-up: Changed 6 years ago by dkrenn

  • Commit changed from 2583d431566b9cc35b0decd0fcc396decbbf7b2e to 8fb682fea69d508cdfe726ff527a76fff60a7995

Looks fine. Added 3 reviewer-commits (two: docs, one: change state-labels to Sage-Integer (instead of Python-int)). Needs cross-review (but positive from my side).

New commits:

22f86b7typo: transducers --> automata
e1c0faaadd forgotten .
8fb682fchange type of state-labels to Sage-Integer (was: Python-int)

comment:4 in reply to: ↑ 3 Changed 6 years ago by cheuberg

  • Reviewers set to Daniel Krenn
  • Status changed from needs_review to positive_review

Replying to dkrenn:

Needs cross-review (but positive from my side).

thank you, fine for me.

comment:5 Changed 6 years ago by vbraun

  • Branch changed from u/dkrenn/fsm/generator_word to 8fb682fea69d508cdfe726ff527a76fff60a7995
  • Resolution set to fixed
  • Status changed from positive_review to closed
Note: See TracTickets for help on using tickets.