Introduction

1

2

3

1

2

3

6

7

8

Non-deterministic Finite State Automata

Vector Automata

A

B



f : (x) -> (x,0)

g : (x,y) -> (-y,x)

h : (x,y) -> (y,-x)





f(x) = x

g(x) = x

h(x) = λx



The sum of two VAs

Main Theorem

n

2