60 Commits

Author	SHA1	Message	Date
bringert	815cc5a7eb	Some refactorings needed for recursion removal.	2007-06-25 13:38:40 +00:00
bringert	8cdbaa39f7	Added makeSRG.	2007-06-21 13:40:13 +00:00
bringert	94bdd1fb23	Fixed SISR bug.	2007-03-26 13:12:04 +00:00
bringert	2091df47fe	commented LC_LR modification	2007-03-25 16:34:53 +00:00
bringert	4905996816	Also remove indirectly cyclic productions.	2007-03-25 16:34:35 +00:00
bringert	4a604934e9	Added srg0006: A grammar with a cycle caused by an empty production.	2007-03-25 16:11:51 +00:00
bringert	8a435873f2	SRG generation: merge categories with identical set of productions. The LC_LR algorithm produces lots of those, especially when there is little inflection.	2007-03-24 23:29:38 +00:00
bringert	99af757b06	Modified the LC_LR implementation to only produce rules using A-X categories when those categories have any productions.	2007-03-24 17:30:04 +00:00
bringert	0eac3f6b58	Remove removeIdenticalRules, since it would get rid of alternative parse results.	2007-03-20 22:09:17 +00:00
bringert	4d369e096f	Do top-down and bottom-up filtering together to a fixed point.	2007-03-20 21:59:36 +00:00
bringert	c2dd74f33e	Moved code and comments around in TransformCFG.	2007-03-20 21:35:24 +00:00
bringert	a473281c65	Renamed removeEmptyCats to bottomUpFilter.	2007-03-20 21:15:59 +00:00
bringert	e31ccc4567	Removed dead export list.	2007-03-20 21:15:43 +00:00
bringert	0300c35d87	Removed fixed FIXMEs.	2007-03-20 21:15:26 +00:00
bringert	205f79efc6	Use makeSimpleSRG everywhere and remove makeSRG. Reimplemented top-down filtering in terms of CFRules instead of SRG. Do top-down filtering in makeSimpleSRG.	2007-03-19 18:03:19 +00:00
bringert	6bed1fed96	Handle coercion functions (_) in CFG generation for SRG.	2007-01-29 12:30:49 +00:00
bringert	301d268141	Removed CFConst constructor, since it was unused.	2007-01-29 12:21:15 +00:00
bringert	f56b617f5a	Document CFTerm constructors.	2007-01-29 12:20:31 +00:00
bringert	476080e6db	Generate more compact JSGF by converting to ENBF.	2007-01-07 20:04:39 +00:00
bringert	133491fd8b	SISR code now type annotates meta variables directly in grammar, to avoid a separate type annotation step.	2007-01-05 17:34:44 +00:00
bringert	028f2e108e	Changed all SRG printer to take Options and StateGrammar arguments. This makes Custom a lot cleaner.	2007-01-05 15:38:47 +00:00
bringert	9af5b77102	Change input to the different SRG printers to be StateGrammar instead of CGrammar. This to allow looking at the types in SISR, and to reduce the number of argument passed from Custom.	2007-01-05 14:34:20 +00:00
bringert	613c1527e9	SISR: constants from conversion=finite now produce abstract syntax nodes instead of strings.	2007-01-03 22:57:20 +00:00
bringert	95d4af1f2d	Meta variables are now treated as functions with name ? in SISR, VoiceXML and JavaScript linearization. VoiceXML now returns the partial result when update() is false.	2006-12-21 16:48:46 +00:00
bringert	cb70ffadaa	Use LCLR algorithm for eliminating left-recursion, with lambda terms in SISR for getting trees right.	2006-12-20 20:10:15 +00:00
bringert	5b8680b8fd	Added still unused implementation of Moore's LCLR algorithm for left recursion elimination. Fixed top category generation for SRG (included LR-elimination-added categories before).	2006-12-17 19:18:28 +00:00
bringert	743e89fa9b	Some clean-up in GF/Speech/TransformCFG.hs	2006-12-17 13:29:12 +00:00
bringert	4d3dc4ac54	Look at both command-line and grammar startcat falgs in pg commands.	2006-04-18 12:42:20 +00:00
bringert	dbd9a25162	Fixed left recursion removal to not create cyclic rules.	2006-04-13 15:07:17 +00:00
bringert	c47da3d351	Removed cycles when building SRGs, to avoid getting left-recursive grammars.	2006-04-13 14:47:37 +00:00
bringert	26b61d82ee	generate unique new category names when removing left recursion from cfgs.	2006-04-13 14:29:27 +00:00
bringert	04300a9e0d	Replaced all used of Data.FiniteMap with Data.Map.	2006-03-20 12:49:31 +00:00
bringert	df8b2ab6b8	First version of SRGS with semantic tags.	2006-02-01 16:23:14 +00:00
bringert	036de8d94e	Use right start category names in si command.	2006-01-20 18:20:02 +00:00
bringert	718b6a5fd2	Build SLF networks with sublattices.	2006-01-04 21:41:12 +00:00
bringert	5c12a73dae	Some performance improvements in the FA generation.	2005-12-22 23:16:15 +00:00
bringert	da9c8e2e1c	Documented SRGS XML generation. Started working on support for probabilities in SRG generation. Added support for probabilities in for SRGS.	2005-11-01 19:09:04 +00:00
bringert	8b1821e8ae	Made removeIdenticalRules faster by using sortNubBy instead of nubBy.	2005-10-26 17:47:16 +00:00
bringert	ac8ef799de	Added Graphviz module for graphviz stuff. Move a lot of utility functions to GF.Data.Utilities.	2005-09-14 14:17:29 +00:00
bringert	9112e13c60	Added printer for regular grammars. Changed some foldrs to foldls to improve stack usage.	2005-09-12 15:10:23 +00:00
bringert	8c616b8113	Completed unoptimized SLF generation.	2005-09-12 14:46:44 +00:00
bringert	c39b31c74f	More work on make_fa.	2005-09-08 14:45:17 +00:00
bringert	35e67e64cf	Started working on make_fa.	2005-09-08 14:40:49 +00:00
bringert	936be8eea7	Defined compileAutomaton in terms of make_fa	2005-09-08 14:39:12 +00:00
bringert	a134b2b6f8	Added the prerequisits for automaton building.	2005-09-07 13:21:30 +00:00
bringert	fb419f71ad	Finished untested function for making context-free grammars regular.	2005-09-06 07:06:42 +00:00
bringert	e191e0513e	Some baby stpes closes to ATK SLF generation.	2005-09-02 14:47:46 +00:00
bringert	6220d484a8	Added beginnings of ATK SLF generation.	2005-06-17 11:46:04 +00:00
bringert	93af0c8535	Fixed module names and imports after giant file move.	2005-04-21 15:21:02 +00:00
bringert	7615896479	Removed some dead code from gsl and cfgm generation.	2005-04-15 08:45:32 +00:00