FAdo.common

Common definitions for FAdo files

class AllWords(alphabet)

Iterator thar generates all words of an alphabet in militar order

exception CFGerror

exception CFGgrammarError(rule)

exception CFGterminalError(size)

exception CodesError(msg)

exception CodingTheoryError(msg)

exception DFAEmptyDFA

exception DFAEmptySigma

exception DFAFileError

exception DFAFound(word)

exception DFASyntaticError(line)

exception DFAdifferentSigma

exception DFAepsilonRedefinition

exception DFAequivalent

exception DFAerror

exception DFAinputError(word)

exception DFAmarkedError(sym)

exception DFAnoInitial

exception DFAnotComplete

exception DFAnotMinimal

exception DFAnotNFA(msg)

exception DFAstateUnknown(stidx)

exception DFAstopped

exception DFAsymbolUnknown(sym)

class Drawable

Any FAdo object that is drawable

display(filename=None, size='30,20', strict=False, maxlblsz=6)

Display automata using dot

Parameters:

• size – size of representation

• filename – filename to use for the graphic representation (default a os tmpfile)

• maxlblsz (int) – max size of labels before getting removed

• strict (bool) – use limitations of label sizes

Changed in version 1.2.1.

abstract dotFormat(size='20,20', filename=None, direction='LR', strict=False, maxlblsz=6, sep='\n')

Some dot representation

Parameters:

• size (str) – size parameter for dotviz

• filename (str) – filename

• direction (str) –

• strict (bool) –

• maxlblsz (int) –

• sep (str) –

Returns: str:

dotLabel(lbl0)

Label string

makePNG(filename=None, size='30,20')

Produce png file to display

Parameters:

• filename (str) – file name, if None will be a tmpfile

• size – size for graphviz

Returns:

name of the file created

New in version 1.0.4.

exception DuplicateName(number)

exception FAException

exception FASiseMismatch

exception FAdoError

exception FAdoGeneralError(msg)

exception FAdoNotImplemented

exception FAdoSyntacticError

exception GraphError(message)

exception IllegalBias(msg)

class Memoized(func)

Decorator that caches a function’s return value each time it is called.

If called later with the same arguments, the cached value is returned, and not re-evaluated.

exception NFAEmpty(msg='')

exception NFAerror(msg='')

exception NImplemented

exception NonPlanar

exception NotSP

exception PDAerror

exception PDAsymbolUnknown(symb)

exception PEGError(msg)

exception ParRangError

exception PropertyNotSatisfied(msg)

class SPLabel(val=None)

Label class for Serial-Paralel test algorithm

See also

Moreira & Reis, Fundamenta Informatica, ‘Series-Paralel automata and short regular expressions’, n.91 3-4, pag 611-629

exception SSBadTransition

exception SSError

exception SSMissAlphabet

exception TFAAccept

exception TFAReject

exception TFARejectBlocked

exception TFARejectLoop

exception TFARejectNonFinal

exception TFASignal

exception TRError

exception TstError(message)

class TwDict(fw=None)

A class for dictionaries ‘both ways’

exception TypeError

exception VersoError(msg)

exception VertexNotInGraph

class Word(data=None)

Class to implement generic words as iterables with pretty-print

Basically a unified way to deal with words with caracters of sizes different of one with no much fuss

binomial(n, k)

Exactly what it seems

Parameters:

• n (int) – n

• k (int) – k

Return type:

int

delFromList(l, l1)

Delete every element of l1 from l

Parameters:

• l (list) –

• l1 (list) –

dememoize(cls, method_name)

Restore method of given class from Memoized state. Stored attributes will be removed.

exception fnhException

forceIterable(x)

Forces a non-iterable object into a list, otherwise returns itself

Parameters:

x (list) – the object

Returns:

object as a list

Return type:

list

fromBase(n: list, b: int) → int

Converts a number n in base b into an integer

Parameters:

• n (list) – number to convert

• b (int) – base used

Returns: int .. versionadded: 2.1.3

graphvizTranslate(s, strict=False, maxlblsz=6)

Translate epsilons for graphviz

Parameters:

• s (str) – symbol

• maxlblsz – max size of labels before getting removed

• strict (bool) – use limitations of label sizes

Return type:

str

homogeneousP(l)

Is the list homogeneous?

Parameters:

l (list) – list to be inspected

Return type:

bool

inBase(n: int, base: int, tail=None) → list

Writes the representation of a non-null natural in a base.

Parameters:

• n – number to conver

• base – base to use

Returns: list of integers

New in version 2.1.3.

lSet(s: set)

returns the last element of a set

Parameters:

s (set) – the set

Returns:

the last element of the set

New in version 1.3.3.

memoize(cls, method_name)

Memoizes a given method result on instances of given class.

Given method should have no side effects. Results are stored as instance attributes — given parameters are disregarded.

Parameters:

• cls –

• method_name –

exception notAcyclic

overlapFreeP(word)

Returns True if word is overlap free, i.e, no proper and nonempty

prefix is a suffix

Parameters:

word – the word

Return type:

Boolean

pad(n: int, nu: list) → list

Pads the given list nu to have the appropriate number of leading 0 up to size n

Parameters:

• n – number of algarisms

• nu – list

padList(l: list, size: int) → list

Pads the list l, with zeros, up to the size size

Parameters:

• l (list) – the list to pad

• size (int) – the desired size

Returns:

the resulting list

Return type:

list

New in version 2.1.3.

exception regexpInvalid(word)

exception regexpInvalidMethod

exception regexpInvalidSymbols

sConcat(x, y)

CConcat words

Parameters:

• x – first word

• y – second word

Returns:

concatenation word

suffixes(word)

Returns the list of proper suffixes of a word

Parameters:

word (str) – the word

Return type:

list

uSet(s: set)

returns the first element of a set

Parameters:

s (set) – the set

Returns:

the first element of s

unifSzSubset(max: int) → int

Returns a size uniformly distributed for a variable that behaves like a subset of a max element set.

Parameters:

max (int) – max size to accept

Returns:

the size

Return type:

int

New in version 2.1.3.

unique(l)

Eliminate duplicates

Parameters:

l (list) – source list

Returns:

list wthout repetitions

Return type:

lst

zeta(s: int | float, t=100) → float | complex

Implementation of Riemman’s zeta function