MOBILE PHONE AUTOMATION

Explanation
CALLS
The Mobile phone is initially in the IDLE state,locked. The calls can be incoming calls or the outgoing calls. An incoming signal moves the call to the INCOMING state. Here the call can be either picked and moved to the TAlK status or put on WAITING status. A call can be made by Accessing the phone (unlock). The outgoing signal moves the call to TALK status. The call can be ended anytime and the phone moves back again to the IDLE mode.

MESSAGES
An incoming message makes the status as RECEIVED MESSAGE. The phone can be accessed anytime to WRITE MESSAGE. All the messages are moved to the VIEW MESSAGE status. The received message can be replied or deleted. All the messages can be deleted anytime.
4/30/2012 2

Assumptions
Only receive calls,make calls,receive message and send message. No missed calls alert. Messages are not stored in an Inbox or Outbox. A call can be put on Call waiting but cannot be picked unless the current call is ended.
4/30/2012 3

Inventory
No of states:- 10 1. Idle 2. Incoming 3. Waiting 4. Outgoing 5. Talk 6. Send message 7. View message 8. Received message 9. Write message 10. Delete message

Alphabets: Id,In,Og,Rm,Wm,Tk,Wt,Dm,Vm,Sm, Model: NFA

4/30/2012 4

Start

Access (lock=1)
Incoming signal(unlock)

Send message
Outgoing signal

Idle
Incoming signal(unlock=0)

End call

End call

View message
Show

Incoming
Dont Pick

Pick

Talk
Outgoing signal

Pick

Received message
Show Access (unlock=0)

Waiting
Dont Pick Access (unlock=0) Access (lock=1)
4/30/2012

Write message

Outgoing Delete message

Access
5

Context Free Grammar

IdIs In|a1 Og|Is Rm|a0 Wm Inp Tk|dp Wt|en Id Wtdp Wt|p Tk Ogos Tk Tken Id Dma1 Id Sma1 Id Vmos Sm|a Dm Rmsw Vm Wmsw Vm

4/30/2012