mirror of
https://github.com/GrammaticalFramework/gf-core.git
synced 2026-04-23 11:42:49 -06:00
Moved FA and regular grammar printers to a separate module.
This commit is contained in:
50
src/GF/Speech/PrFA.hs
Normal file
50
src/GF/Speech/PrFA.hs
Normal file
@@ -0,0 +1,50 @@
|
|||||||
|
----------------------------------------------------------------------
|
||||||
|
-- |
|
||||||
|
-- Module : PrSLF
|
||||||
|
-- Maintainer : BB
|
||||||
|
-- Stability : (stable)
|
||||||
|
-- Portability : (portable)
|
||||||
|
--
|
||||||
|
-- > CVS $Date: 2005/11/10 14:19:33 $
|
||||||
|
-- > CVS $Author: bringert $
|
||||||
|
-- > CVS $Revision: 1.1 $
|
||||||
|
--
|
||||||
|
-- This module prints finite automata and regular grammars
|
||||||
|
-- for a context-free grammar.
|
||||||
|
--
|
||||||
|
-- FIXME: remove \/ warn \/ fail if there are int \/ string literal
|
||||||
|
-- categories in the grammar
|
||||||
|
-----------------------------------------------------------------------------
|
||||||
|
|
||||||
|
module GF.Speech.PrFA (faGraphvizPrinter,regularPrinter) where
|
||||||
|
|
||||||
|
import GF.Data.Utilities
|
||||||
|
import GF.Conversion.Types
|
||||||
|
import GF.Formalism.CFG
|
||||||
|
import GF.Formalism.Utilities (Symbol(..),symbol)
|
||||||
|
import GF.Infra.Ident
|
||||||
|
import GF.Infra.Option
|
||||||
|
import GF.Infra.Print
|
||||||
|
import GF.Speech.CFGToFiniteState
|
||||||
|
import GF.Speech.FiniteState
|
||||||
|
import GF.Speech.SRG
|
||||||
|
import GF.Speech.TransformCFG
|
||||||
|
|
||||||
|
import Data.Char (toUpper,toLower)
|
||||||
|
import Data.List
|
||||||
|
import Data.Maybe (fromMaybe)
|
||||||
|
|
||||||
|
faGraphvizPrinter :: Ident -- ^ Grammar name
|
||||||
|
-> Options -> CGrammar -> String
|
||||||
|
faGraphvizPrinter name opts cfg =
|
||||||
|
prFAGraphviz (mapStates (const "") $ mapTransitions (fromMaybe "") $ cfgToFA name opts cfg)
|
||||||
|
|
||||||
|
|
||||||
|
-- | Convert the grammar to a regular grammar and print it in BNF
|
||||||
|
regularPrinter :: CGrammar -> String
|
||||||
|
regularPrinter = prCFRules . makeSimpleRegular
|
||||||
|
where
|
||||||
|
prCFRules :: CFRules -> String
|
||||||
|
prCFRules g = unlines [ c ++ " ::= " ++ join " | " (map (showRhs . ruleRhs) rs) | (c,rs) <- g]
|
||||||
|
join g = concat . intersperse g
|
||||||
|
showRhs = unwords . map (symbol id show)
|
||||||
@@ -5,9 +5,9 @@
|
|||||||
-- Stability : (stable)
|
-- Stability : (stable)
|
||||||
-- Portability : (portable)
|
-- Portability : (portable)
|
||||||
--
|
--
|
||||||
-- > CVS $Date: 2005/09/14 16:08:35 $
|
-- > CVS $Date: 2005/11/10 14:19:33 $
|
||||||
-- > CVS $Author: bringert $
|
-- > CVS $Author: bringert $
|
||||||
-- > CVS $Revision: 1.10 $
|
-- > CVS $Revision: 1.11 $
|
||||||
--
|
--
|
||||||
-- This module converts a CFG to an SLF finite-state network
|
-- This module converts a CFG to an SLF finite-state network
|
||||||
-- for use with the ATK recognizer. The SLF format is described
|
-- for use with the ATK recognizer. The SLF format is described
|
||||||
@@ -18,8 +18,7 @@
|
|||||||
-- categories in the grammar
|
-- categories in the grammar
|
||||||
-----------------------------------------------------------------------------
|
-----------------------------------------------------------------------------
|
||||||
|
|
||||||
module GF.Speech.PrSLF (slfPrinter,slfGraphvizPrinter,
|
module GF.Speech.PrSLF (slfPrinter,slfGraphvizPrinter) where
|
||||||
faGraphvizPrinter,regularPrinter) where
|
|
||||||
|
|
||||||
import GF.Data.Utilities
|
import GF.Data.Utilities
|
||||||
import GF.Conversion.Types
|
import GF.Conversion.Types
|
||||||
@@ -56,21 +55,6 @@ slfGraphvizPrinter :: Ident -- ^ Grammar name
|
|||||||
slfGraphvizPrinter name opts cfg =
|
slfGraphvizPrinter name opts cfg =
|
||||||
prFAGraphviz (mapStates (fromMaybe "") $ mapTransitions (const "") $ moveLabelsToNodes $ cfgToFA name opts cfg)
|
prFAGraphviz (mapStates (fromMaybe "") $ mapTransitions (const "") $ moveLabelsToNodes $ cfgToFA name opts cfg)
|
||||||
|
|
||||||
faGraphvizPrinter :: Ident -- ^ Grammar name
|
|
||||||
-> Options -> CGrammar -> String
|
|
||||||
faGraphvizPrinter name opts cfg =
|
|
||||||
prFAGraphviz (mapStates (const "") $ mapTransitions (fromMaybe "") $ cfgToFA name opts cfg)
|
|
||||||
|
|
||||||
|
|
||||||
-- | Convert the grammar to a regular grammar and print it in BNF
|
|
||||||
regularPrinter :: CGrammar -> String
|
|
||||||
regularPrinter = prCFRules . makeSimpleRegular
|
|
||||||
where
|
|
||||||
prCFRules :: CFRules -> String
|
|
||||||
prCFRules g = unlines [ c ++ " ::= " ++ join " | " (map (showRhs . ruleRhs) rs) | (c,rs) <- g]
|
|
||||||
join g = concat . intersperse g
|
|
||||||
showRhs = unwords . map (symbol id show)
|
|
||||||
|
|
||||||
automatonToSLF :: FA State (Maybe String) () -> SLF
|
automatonToSLF :: FA State (Maybe String) () -> SLF
|
||||||
automatonToSLF fa =
|
automatonToSLF fa =
|
||||||
SLF { slfNodes = map mkSLFNode (states fa),
|
SLF { slfNodes = map mkSLFNode (states fa),
|
||||||
|
|||||||
@@ -5,9 +5,9 @@
|
|||||||
-- Stability : (stable)
|
-- Stability : (stable)
|
||||||
-- Portability : (portable)
|
-- Portability : (portable)
|
||||||
--
|
--
|
||||||
-- > CVS $Date: 2005/11/09 15:14:30 $
|
-- > CVS $Date: 2005/11/10 14:19:33 $
|
||||||
-- > CVS $Author: aarne $
|
-- > CVS $Author: bringert $
|
||||||
-- > CVS $Revision: 1.82 $
|
-- > CVS $Revision: 1.83 $
|
||||||
--
|
--
|
||||||
-- A database for customizable GF shell commands.
|
-- A database for customizable GF shell commands.
|
||||||
--
|
--
|
||||||
@@ -58,7 +58,8 @@ import GF.CF.CFtoSRG
|
|||||||
import GF.Speech.PrGSL (gslPrinter)
|
import GF.Speech.PrGSL (gslPrinter)
|
||||||
import GF.Speech.PrJSGF (jsgfPrinter)
|
import GF.Speech.PrJSGF (jsgfPrinter)
|
||||||
import GF.Speech.PrSRGS (srgsXmlPrinter)
|
import GF.Speech.PrSRGS (srgsXmlPrinter)
|
||||||
import GF.Speech.PrSLF (slfPrinter,slfGraphvizPrinter,faGraphvizPrinter,regularPrinter)
|
import GF.Speech.PrSLF (slfPrinter,slfGraphvizPrinter)
|
||||||
|
import GF.Speech.PrFA (faGraphvizPrinter,regularPrinter)
|
||||||
|
|
||||||
import GF.Data.Zipper
|
import GF.Data.Zipper
|
||||||
|
|
||||||
|
|||||||
Reference in New Issue
Block a user