Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
https://github.com/jneug/typst-finite
Typst-setting finite automata with CeTZ.
https://github.com/jneug/typst-finite
Last synced: 2 months ago
JSON representation
Typst-setting finite automata with CeTZ.
- Host: GitHub
- URL: https://github.com/jneug/typst-finite
- Owner: jneug
- License: mit
- Created: 2023-08-24T11:02:11.000Z (over 1 year ago)
- Default Branch: main
- Last Pushed: 2024-02-27T20:20:50.000Z (11 months ago)
- Last Synced: 2024-08-03T01:39:40.410Z (6 months ago)
- Language: Typst
- Size: 2.82 MB
- Stars: 48
- Watchers: 3
- Forks: 1
- Open Issues: 3
-
Metadata Files:
- Readme: README.md
- License: LICENSE
Awesome Lists containing this project
README
# finite (v0.3.2)
**finite** is a [Typst](https://github.com/typst/typst) package for rendering finite automata on top of [CeTZ](https://github.com/johannes-wolf/typst-canvas).
## Usage
For Typst 0.6.0 or later, import the package from the typst preview repository:
```js
#import "@preview/finite:0.3.1": automaton
```
After importing the package, simply call `#automaton()` with a dictionary holding a transition table:
```js
#import "@preview/finite:0.3.1": automaton
#automaton((
q0: (q1:0, q0:"0,1"),
q1: (q0:(0,1), q2:"0"),
q2: (),
))
```
The output should look like this:
## Further documentation
See `manual.pdf` for a full manual of the package.
## Development
The documentation is created using [Mantys](https://github.com/jneug/typst-mantys), a Typst template for creating package documentation.
To compile the manual, Mantys needs to be available as a local package. Refer to Mantys' manual for instructions on how to do so.
## Changelog
### Version 0.3.2
- Fixed an issue with final states not beeing recognized properly (#5)
### Version 0.3.1
- Added styling options for intial states:
- `stroke` sets a stroke for the marking.
- `scale` scales the marking by a factor.
- Updated manual.
### Version 0.3.0
- Bumped tools4typst to v0.3.2.
- Introducing automaton specs as a data structure.
- Changes to `automaton` command:
- Changed `label-format` argument to `state-format` and `input-format`.
- `layout` can now take a dictionary with (`state`: `coordinate`) pairs to position states.
- Added `#powerset` command, to transform a NFA into a DFA.
- Added `#add-trap` command, to complete a partial DFA.
- Added `#accepts` command, to test a word against an NFA or DFA.
- Added `transpose-table` and `get-inputs` utilities.
- Added "Start" label to the mark for initial states.
- Added option to modify the mark label for initial states.
- Added anchor option for loops, to position the loop at one of the eight default anchors.
- Changed `curve` option to be the height of the arc of the transition.
- This makes styling more consistent over longer distances.
- Added `rest` key to custom layouts.
### Version 0.2.0
- Bumped CeTZ to v0.1.1.
### Version 0.1.0
- Initial release submitted to [typst/packages](https://github.com/typst/packages).