Does mata support composition of FST with DFAs?

[ivnle]

I tried reading through the documentation but the Nondeterministic Finite automata shows these errors:

[Adda0]

Hello. Sorry about the documentation. Documentation generation is currently broken. Until we fix it, it is best to read the documentation from the source code directly.

Regarding the question, Mata does support composition of NFTs, and it supports application of an NFT to a regular language (that is, an NFA). See operations mata::nft::compose() and mata::nft::apply().