Mescal
Loading...
Searching...
No Matches
monoid_kernels.h
Go to the documentation of this file.
1
6
7#ifndef MONOID_KERNELS_H
8#define MONOID_KERNELS_H
9
10 /* _ __ _ */
11 /* | |/ /___ _ __ _ __ ___| |___ */
12 /* | ' // _ \ '__| '_ \ / _ \ / __| */
13 /* | . \ __/ | | | | | __/ \__ \ */
14 /* |_|\_\___|_| |_| |_|\___|_|___/ */
15
16#include "monoid.h"
17#include "monoid_sub.h"
18#include "sep_group.h"
19#include "flint/fmpz.h"
20#include "flint/fmpz_mat.h"
21
22//#define DEBUG_KERNEL
23
35nfa* morphism_to_dnfa_kernel(morphism*
36);
37
49nfa* morphism_to_dfa_rcl(morphism*
50);
51
63nfa* morphism_to_dfa_lcl(morphism*
64);
65
80subsemi* get_kernel(morphism* M,
81 sub_level level,
82 basis ba
83);
84
85
86#endif
monoid.h
Implementation of morphisms into finite monoids.
morphism_to_dnfa_kernel
nfa * morphism_to_dnfa_kernel(morphism *)
Computes a DFA from the right Cayley graph of a morphism. Discards all transitions which are entering...
Definition monoid_kernels.c:15
morphism_to_dfa_rcl
nfa * morphism_to_dfa_rcl(morphism *)
Computes a DFA from the right Cayley graph of a morphism. Discards all transitions which are not inte...
Definition monoid_kernels.c:53
get_kernel
subsemi * get_kernel(morphism *M, sub_level level, basis ba)
Computes the kernel of a morphism for one of the three bases MOD, AMT or GR.
Definition monoid_kernels.c:88
morphism_to_dfa_lcl
nfa * morphism_to_dfa_lcl(morphism *)
Computes a DFA from the left Cayley graph of a morphism. Discards all transitions which are not inter...
Definition monoid_kernels.c:55
sep_group.h
Separation by group languages.
morphism
The type used to represent a morphism into a finite monoid.
Definition monoid.h:91
nfa
Type used to represent a NFA.
Definition nfa.h:43
subsemi
Type used to represent a subsemigroup and its Green relations.
Definition monoid_sub.h:35