Write a utility that given a regular expression over


Problem

1. Write a model program M with two features F1 and F2 such that F1 and F2 share state variables and use the same actions A and B, and the set of traces of M is not an intersection of the set of traces of M restricted to F1 and the set of traces of M restricted to F2. Use mpv to check the result.

2. Write a utility that given a regular expression over actions (possibly including placeholders) generates the corresponding FSM.

 

Request for Solution File

Ask an Expert for Answer!!
Computer Engineering: Write a utility that given a regular expression over
Reference No:- TGS02720570

Expected delivery within 24 Hours