Loading in 5 sec....

Simple Languages and Concatenation-State MachinesPowerPoint Presentation

Simple Languages and Concatenation-State Machines

- By
**mateo** - Follow User

- 73 Views
- Uploaded on

Download Presentation
## PowerPoint Slideshow about ' Simple Languages and Concatenation-State Machines' - mateo

**An Image/Link below is provided (as is) to download presentation**

Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author.While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server.

- - - - - - - - - - - - - - - - - - - - - - - - - - E N D - - - - - - - - - - - - - - - - - - - - - - - - - -

Presentation Transcript

### Simple Languages and Concatenation-State Machines

Simple Languages and Concatenation-State Machines

- Solidum 1997-2002
- Acquired by IDT Corp. In 2002
- Packet classification programmable chips
- Transmission-time speed
- Using state-machine technology
- Stateless stack automaton
- Hundreds of thousands of states
- Algorithm time complexities were critical
- Possibility of reading more than one input symbol per memory cycle

Joint work with WojtekFraczak (IDT), LeszekGasieniec (Liverpool), WojciechRytter (Warsaw), FeliksWelfeld (IDT) + MsC and PhD students

Concatenation-State Machine (CSM)

- C = (S ,S, C, i, f, tS, tC)
- S - input alphabet
- S - switch (transition) states
- C – concatenation states
- i – initial state, i SC
- A – accept (terminal) state, A SC
- tS – switch state transition function
tS: S x S SC {A}

- tC – concatenation state transition function
tC: C SC {A} x SC {A}

Concatenation-State Machine as a Compact Version of DSM

L = {a25}

11001

- Relation to:
- String compression
- Common sub-expressions
- in optimizing compilers

1

A

A

1

- Example 4

Executing a CSM.

- Single-state (stateless) push-down automaton
- Acts on the input symbol and the top-of-stack symbol
- Each state of the CSM corresponds to a different stack symbol, but no symbol (or empty string) corresponds to the Accept state.
- When starting the execution, the stack contains the symbol of the initial state of the CSM
- For each switch state s of the CSM, its symbol is popped from the stack, input symbol i is read and a symbol of the transitions state tS(s,i) is pushed on the stack
- For each concatenation state c of the CSM, its symbol is popped from the stack, and two symbols c1 and c2 corresponding to the state successors of c, (c1, c2) = tC(c) are pushed on the stack, c2 on the top (no input symbol is read)
- The input string is accepted when it is completely read and the stack is empty

Paths in a CSM.

bbbba

b

L = a + (bb)*a

bba

1

X

b

b

b

b

Y

a

1

1

2

2

1

2

1

1

2

Z

b

b

a

A

A

A

A

A

A

b

a

Converting a CSM to a grammar.

- Each state of the CSM, except the Accept state, corresponds to a different non-terminal symbol of the grammar. The Accept state corresponds to the empty string
- The initial state of the CSM corresponds to the axiom of the grammar
- For each transition tS (c1,i) = c2 a production rule
C1 iC2 is added to the grammar, with c1, c2 corresponding to C1, C2 respectively

- For each transition tC (c) = (c1, c2)a production rule
CC1C2 is added to the grammar, with c, c1, c2 corresponding to C, C1, C2respectively

Converting a CSM to a grammar.

Example 6

bbbba

b

X bY

X a

Y ZX

Z b

L = a + (bb)*a

1

X

X bYbZXbbXbbbY

bbbZXbbbbXbbbba

By factorizing we get

X bY

X a

Y bX

b

b

b

Y

a

1

1

2

2

1

2

Z

b

A

A

A

A

b

a

Converting a CSM to a grammar.

Example 7

SaX

S bB

X aY

XbC

Y aZ

Y b

BCD

C EZ

D ZS

E XZ

SaX

S bB

X aY

XbC

Y aZ

Y b

BXZZZS

C XZZ

D ZS

E XZ

SaX

S bB

X aY

XbC

Y aZ

Y b

B aYZZZS

B bCZZZS

C aYZZ

C bCZZ

D bS

E aYZ

E bCZ

S

a

b

1

2

4

B

X

a

b

3

C

Y

D

a

A

E

Z

b

Deterministic Greibach Normal Form

Simple languages and CSMs.

- Deterministic simple languages are generated by deterministic grammars in Greibach Normal Form
- The class of deterministic simple languages is equivalent to the class of languages acceptable by Concatenation State Machines
- The class of deterministic simple languages is acceptable by stateless pushdown deterministic automata

A CSM reading more than one input symbol per memory cycle.

aaa

baa

aba

1

2

bb

bbb

aaa

aa

3

4

5

a

A

b

aab

Download Presentation

Connecting to Server..