Derive a characteristic function for L(M).

CSC 520 Spring 2020 Lab #8

(5 points) TM M is shown in the diagarm below,with ∑={a,b}, Γ = ∑ ∪ {☐,$,#}, and H = {y,n}. The halting states y and n are the accepting and rejecting states for M when it decides whether or not a string is in L(M).

Derive a characteristic function for L(M).

--------------------------------- | | v a b | >Ra,☐ --------->$L☐Rb,☐ -------->#L☐ | | | | | ☐ v a a ☐ a | L☐Ra,☐------>Ra,☐------>Ra,☐------>L------>y | | | | | v |☐ |☐ |a |¬a n | | | | v v v v n n n n