automaton: Interpretation of Automaton Diagrams (Using TikZ)

Exercise template for assessing the interpretation of an automaton diagram (drawn with TikZ) based on randomly generated input sequences.

Name:
automaton
Type:
Related:
Preview:

Consider the following automaton with initial state A and accepting state B:

Which of the following sequences are accepted?

The given automaton accepts input strings which consist of an odd number of ones and even number of zeros.

  • Not accepted
  • Accepted
  • Accepted
  • Not accepted
  • Not accepted

Consider the following automaton with initial state A and accepting state A:

Which of the following sequences are accepted?

The given automaton accepts input strings which consist of an even number of ones and even number of zeros.

  • Accepted
  • Not accepted
  • Not accepted
  • Not accepted
  • Not accepted

Consider the following automaton with initial state A and accepting state D:

Which of the following sequences are accepted?

The given automaton accepts input strings which consist of an odd number of ones and odd number of zeros.

  • Accepted
  • Not accepted
  • Not accepted
  • Not accepted
  • Not accepted
Description:
An automaton diagram with four states A-D is drawn with TikZ and is to be interpreted, where A is always the initial state and one state is randomly picked as the accepting state. Five binary 0/1 input sequences acceptance have to be assessed with approximately a quarter of all sequences being accepted. Depending on the exams2xyz() interface the TikZ graphic can be rendered in PNG, SVG, or directly by LaTeX.
Solution feedback:
Yes
Randomization:
Random numbers, text blocks, and graphics
Mathematical notation:
No
Verbatim R input/output:
No
Images:
Yes
Other supplements:
No
Raw: (1 random version)
PDF:
automaton-Rmd-pdf
automaton-Rnw-pdf
HTML:
automaton-Rmd-html
automaton-Rnw-html

Demo code:

library("exams")

set.seed(403)
exams2html("automaton.Rmd")
set.seed(403)
exams2pdf("automaton.Rmd")

set.seed(403)
exams2html("automaton.Rnw")
set.seed(403)
exams2pdf("automaton.Rnw")