English (United Kingdom)

https://curated-unify.zendy.io/wp-json/zendy-region/v1/featured_content/oa?rat=en

https://curated-unify.zendy.io/wp-json/zendy-region/v1/highlighted_journal/

Global: Zendy Plus annual

Presents the access of premium content as premium feature

Premium Content

Presents the keyphrase highlighting as premium feature

Keyphrase Highlighting

Presents the summarisation as premium feature

Summarisation

Insights

Presents the pdf analysis as premium feature

PDF Analysis

Presents the zaia usage as premium feature

ZAIA

Global: Zendy Plus monthly

Global: Zendy Tools annual

Global: Zendy Tools monthly

Global: Zendy Free Plan

This article presents a visualization tool for designing and debuggingdeterministic finite-state machines in FSM -- a domain specific language forthe automata theory classroom. Like other automata visualization tools, userscan edit machines and observe their execution, given some input. Unlike otherautomata visualization tools, the user is not burdened nor distracted withrendering a machine as a graph. Furthermore, emphasis is placed on the designof machines and this article presents a novel design recipe for deterministicfinite-state machines. In support of the design process, the visualization toolallows for each state to be associated with an invariant predicate. Duringmachine execution, the visualization tool indicates if the proposed invariantholds or does not hold after each transition. In this manner, students canvalidate and debug their machines before attempting to prove partialcorrectness or submitting for grading. In addition, any machine edited with thevisualization tool can be rendered as executable code. The interface of thevisualization tool along with extended examples of its use are presented.

Visual Designing and Debugging of Deterministic Finite-State Machines in FSM