Wolfram Language Paclet Repository

Community-contributed installable additions to the Wolfram Language

Primary Navigation

    • Cloud & Deployment
    • Core Language & Structure
    • Data Manipulation & Analysis
    • Engineering Data & Computation
    • External Interfaces & Connections
    • Financial Data & Computation
    • Geographic Data & Computation
    • Geometry
    • Graphs & Networks
    • Higher Mathematical Computation
    • Images
    • Knowledge Representation & Natural Language
    • Machine Learning
    • Notebook Documents & Presentation
    • Scientific and Medical Data & Computation
    • Social, Cultural & Linguistic Data
    • Strings & Text
    • Symbolic & Numeric Computation
    • System Operation & Setup
    • Time-Related Computation
    • User Interface Construction
    • Visualization & Graphics
    • Random Paclet
    • Alphabetical List
  • Using Paclets
    • Get Started
    • Download Definition Notebook
  • Learn More about Wolfram Language

Automata

Guides

  • Automata

Tech Notes

  • Automata Package

Symbols

  • AlphabetBaseCount
  • AlphabetCountCA
  • AlphabetCount
  • AlphabetList
  • AlphabetProfile
  • AlphabetTrackCount
  • AlphabetTraitQ
  • Alpha
  • AlphaQ
  • AnalyzeOrbit
  • ApplyTransduction
  • AssignFunction
  • AssignHomomorphismDFA
  • AssignTransduction
  • AssignTransitionFunction
  • AutomataDefaults
  • BalancedQCA
  • BEFA
  • BEFAToFA
  • BooleanTransitionMatrix
  • Bound
  • CA
  • CanonicalFA
  • CartesianProduct
  • CirculantFA
  • ClassifyCA
  • CloneFA
  • Closure
  • ClosureSearch
  • ComplementFA
  • CompletePDFA
  • ComposeCA
  • ComputationFA
  • ComputationGraphFA
  • ConcatenateFA
  • Concatenate
  • CondensationGraph
  • ConvertToCA
  • CoverQDFA
  • CycleDecomposition
  • CycleShape
  • DCLDimension
  • DCLGreenToGrid
  • DCL
  • DCLUnpack
  • DeterministicQ
  • DeterminizeFA
  • DFAQ
  • DivisibilityDFA
  • DomainFunction
  • DomCodomCA
  • DoTrace
  • ECA
  • EmptyFA
  • EpsFromEmpty
  • EpsilonEliminationFA
  • EpsilonFA
  • EpsilonFreeQ
  • Eps
  • EpsQ
  • EpsToEmpty
  • EquivalentQFA
  • Existential
  • FA
  • FATraitQ
  • Fill
  • FinalStateList
  • FindRepetitions
  • FiniteLanguageFA
  • FlattenOne
  • FormatEdgesGraph
  • FormatEps
  • FormatVerticesGraph
  • Frequencies
  • FromBitVector
  • FromKernelImageSGT
  • FrontierFromDFA
  • FrontierRW
  • FrontierToDFA
  • FSMQ
  • GatherTransitions
  • GenerateFA
  • GetColorList
  • GetTraits
  • GlobalMapCA
  • GraphPaths
  • GridOffset
  • GrowthFunctionDFA
  • HideGraph
  • IdempotentQSGT
  • IdentitySGT
  • ImageSGT
  • IndexedFAQ
  • IndexFA
  • Index
  • InitialStateList
  • InitialState
  • IntersectionFA
  • InverseCA
  • IsomorphicQDFA
  • KernelImageSelectorQ
  • KernelImageSGT
  • KernelSGT
  • KleeneStarFA
  • LabelList
  • LanguageFactorFA
  • LanguageFA
  • ListShuffle
  • LocalMapCA
  • MatrixToTransitions
  • MinimizeDFA
  • MinimizeFA
  • Monoid
  • NNFA
  • NNFAToFA
  • NonDecreasingSequences
  • NonTrivialComponentQ
  • OrbitCA
  • PadicOrder
  • PadicValuation
  • Pairs
  • ParikhVector
  • ParseRange
  • Partitions
  • PDFAQ
  • PermutationToTransformation
  • PermuteFA
  • PlotFA
  • PlotFunction
  • PlotGrid
  • PlotMatrix
  • PlotRelation
  • PositionFA
  • PositionList
  • PositionOne
  • PowerSet
  • PowerSGT
  • PrintCA
  • ProductFA
  • ProductGraph
  • ProductTransitionSystem
  • PropertyQFA
  • RandomSGT
  • RankCartesian
  • RankingRules
  • RankSGT
  • RegexAlphabet
  • RegexEmptyQ
  • RegexEpsQ
  • RegexToBEFA
  • RegexToDetRegex
  • RegexToFA
  • RegexToGlushkov
  • RegexToNNFA
  • RelationToMatrix
  • REP
  • RES
  • RET
  • ReverseFA
  • RewritePrint
  • RewriteRulesSimplify
  • RewriteString
  • RewriteToIrreducible
  • RuleCA
  • RulesToTransitions
  • SeedConfiguration
  • SelectOptions
  • SemigroupCayleyGraph
  • SemigroupCayleyTable
  • SemigroupDegree
  • SemigroupElements
  • SemigroupEquations
  • SemigroupGenerate
  • SemigroupGenerators
  • Semigroup
  • SemigroupOrder
  • SemigroupQ
  • SemigroupToMonoid
  • SemigroupWitnesses
  • SemilinearDFA
  • SetAlphabet
  • SetFinal
  • SetInitialFinal
  • SetInitial
  • SetStates
  • SetTraits
  • SetTransitions
  • SGT
  • SGTraitQ
  • ShiftOrbit
  • ShowGraph
  • ShowGrid
  • ShrinkCA
  • ShuffleProductFA
  • SizeOnly
  • StateCount
  • StateDelete
  • StateList
  • StateType
  • StringifyList
  • StronglyConnectedComponents
  • SubAutomatonFA
  • SubTransitionSystem
  • SymbolList
  • TDGraph
  • TDGSelectAll
  • TDQ
  • ToBitVector
  • ToClasses
  • ToFredkinCA
  • ToIndex
  • ToKernelFA
  • ToKernel
  • ToSemiautomatonCA
  • ToWelchAutomatonCA
  • ToWidthTwoCA
  • ToWord
  • TransformationDFA
  • TransformationList
  • TransformationListQ
  • TransformationProduct
  • TransformationReplace
  • TransientMod
  • TransitionAdd
  • TransitionCosupport
  • TransitionCount
  • TransitionDelete
  • TransitionFunctionList
  • TransitionLabel
  • TransitionList
  • TransitionMatrix
  • TransitionsMap
  • TransitionSource
  • TransitionsReverse
  • TransitionsSelect
  • TransitionsSort
  • TransitionStates
  • TransitionsToBlocks
  • TransitionSupport
  • TransitionSystemAlphabet
  • TransitionSystemGraph
  • TransitionSystem
  • TransitionTarget
  • TransitionType
  • TransListQ
  • TrapStateList
  • TrimFA
  • TrimStateList
  • TSys
  • TSysQ
  • TSysTraitQ
  • Tupeln
  • Type
  • UnBoole
  • UnionFA
  • UniversalFA
  • UnrankCartesian
  • WidthCA
  • WordBinomial
  • WordFactorFA
  • WordLength
  • WordOrder
  • WordQ
  • WordRandom
  • WordShuffle
  • Words
  • WordSort
  • $AutomataDate
  • $AutomataVersion
  • $defaultPlotEmpty
  • $defaultPlotEpsilon
  • $defaultPlotStar
  • $defaultPlotUniversal
KlausSutner`Automata`Plot`
PlotRelation
​
PlotRelation[rel,A]
uses
TDGraph
to plot a discrete relation rel on carrier set A.
​
Details and Options
▪
The following options can be given:
Background
Some
Background is an option that specifies what background color to use.
DoTrace
All
DoTrace
is an option in multiple commands, controls the generation of an executionn trace.
Full
False
Full is a setting used for certain options, typically indicating that a full range of values should be included.
VertexSize
Automatic
VertexSize is an option and property for Graph and related functions that specifies the size used for vertices.
VertexLabels
Automatic
VertexLabels is an option and annotation for Graph and related functions that specifies what labels and label positions should be used for vertices.
DirectedEdges
False
DirectedEdges is an option for Graph, GraphPlot, and related functions that specifies whether edges should be taken to be directed.
GraphLayout
Automatic
GraphLayout is an option to Graph and related functions that specifies what layout to use.
AspectRatio
0.5
AspectRatio is an option for Graphics and related functions that specifies the ratio of height to width for a plot.
PlotLabel
None
PlotLabel is an option for graphics functions that specifies an overall label for a plot.
SeeAlso
PlotFunction
 
▪
TDGraph
 
▪
PlotMatrix
TechNotes
▪
AutomataPackage
RelatedGuides
▪
Automata
""

© 2025 Wolfram. All rights reserved.

  • Legal & Privacy Policy
  • Contact Us
  • WolframAlpha.com
  • WolframCloud.com