# SciPyFST
The package perform simple operations on FST (Finite-state transducer) and visualize results obtained
## Install
It can be installed from [pypi.org/project/SciPyFST/](https://pypi.org/project/SciPyFST/)
```
pip install SciPyFST
```
Development (branch main) version is available from [test.pypi.org/project/SciPyFST/](https://test.pypi.org/project/SciPyFST/)
```
pip install -i https://test.pypi.org/simple/ SciPyFST
```
## Usage
### Create Mealy FST
```python
from SciPyFST import fst, fstUtils
brainMealy = fst(initState='S0',
transitionFunction=[['S0',0,'S1'],['S0',1,'S0'],['S1',0,'S1'],['S1',1,'S0']],
outputFunction=[['S0',0,0],['S0',1,0],['S1',0,0],['S1',1,1]])
```
### Visualize result as MarkDown table or Dot graph
```python
display(Markdown(fstUtils.toMdTable(brainMealy)))
```
| Input \ State | S0 | S1 |
|:---:|:---:|:---:|
| 0 | S1/0 | S1/0 |
| 1 | S0/0 | S0/1 |
```python
display(graphviz.Source(fstUtils.toDot(brainMealy)))
```
### Convert Mealy to Moore FST
```python
brainMoore = brainMealy.asMoore()
display(Markdown(fstUtils.toMdTable(brainMoore)))
display(graphviz.Source(fstUtils.toDot(brainMoore)))
```
| Input \ State | 0/- | 1/0 | 2/0 | 3/1 |
|:---:|:---:|:---:|:---:|:---:|
| 0 | 1 | 1 | 1 | 1 |
| 1 | 2 | 3 | 2 | 2 |
### Visualize unreachable states
```python
# FST with unreachoble states
states_03 = ['A0','A1','A2','A3']
initState_03 = 'A0'
inAlphabet_03 = ['x1','x2']
outAlphabet_03 = ['y1','y2','y3','y4','y5']
# transitionFunction [ [State, inAlphabet, nextState], ...]
transitionFunction_03 = [ \
['A0','x1','A2'], ['A0','x2','A3'], \
['A1','x1','A2'], ['A1','x2','A3'], \
['A2','x1','A0'], ['A2','x2','A3'], \
['A3','x1','A2'], ['A3','x2','A3'], \
]
# outputFunction Mealy [ [State, inAlphabet, outAlphabet], ...]
outputFunction_03 = [ \
['A0','x1','y1'], ['A0','x2','y1'], \
['A1','x1','y2'], ['A1','x2','y2'], \
['A2','x1','y3'], ['A2','x2','y1'], \
['A3','x1','y3'], ['A3','x2','y2'] \
]
fstWithUnreachableStates = fst(states_03, initState_03, inAlphabet_03,
outAlphabet_03, transitionFunction_03, outputFunction_03)
display(graphviz.Source(fstUtils.toDot(fstWithUnreachableStates, colorOfUnreachableStates='tomato')))
```
### More examples
[nbviewer.org/github/MorriganR/SciPyFST/blob/main/examples/README.ipynb](https://nbviewer.org/github/MorriganR/SciPyFST/blob/main/examples/README.ipynb)
