1085 Commits

Author	SHA1	Message	Date
bringert	b81b9b910e	Implement makeNonRecursiveSRG by conversion through MFA instead of directly to RE.	2007-06-25 16:50:28 +00:00
bringert	58dc4c30eb	Added srgs_abnf_non_rec.	2007-06-25 16:50:00 +00:00
bringert	92db9f7268	Document non-recursive SRGS.	2007-06-25 16:49:36 +00:00
bringert	ca8efaf3c7	Some clean-up in finite-state network generation: MFA now keeps track of start lattice name, instead of having a wrapper lattice. Replaced MFALabel with Symbol.	2007-06-25 16:25:58 +00:00
bringert	e967e040f9	Added non-recursive SRGS printing.	2007-06-25 13:39:26 +00:00
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	4d28e6ec1c	SRG always has RE rhs.	2007-06-21 13:11:26 +00:00
bringert	23d1917b0d	Removed some unused imports of GF.Speech.SRG.	2007-06-21 12:52:59 +00:00
bringert	13b8bab5fe	Added regexps grammar printer. This is a first step towards recursion-free SRGS.	2007-06-20 16:08:23 +00:00
aarne	219c686633	extended functor syntax	2007-06-19 18:12:35 +00:00
aarne	f5b929acfc	fixed the mysterious "file..gfc" error	2007-06-18 21:21:13 +00:00
aarne	6d22ade8a8	overloading in ParadigmsFre	2007-06-18 18:31:02 +00:00
aarne	3adf824e8e	checking name conflicts; some RGs don't work now	2007-06-17 21:56:27 +00:00
aarne	adf0f8e83e	marked deprecated productions in GF.cf	2007-06-17 14:16:01 +00:00
bringert	5c5c8d81c9	Added a simple cabal build system for the embedded API.	2007-06-14 16:08:38 +00:00
bringert	630cf47eeb	Move some type annotations from patterns to expressions. Haskell 98 does not allow type signatures in expressions.	2007-06-14 16:02:07 +00:00
bringert	48081dc340	Added OPTIONS_GHC -fglasgow-exts to files that use GHC extensions.	2007-06-14 15:58:36 +00:00
aarne	265f29afb6	initial check for unknown words in parsing	2007-06-11 07:49:30 +00:00
aarne	84aafe7914	bug fix in Compute	2007-06-09 14:08:23 +00:00
aarne	31cbed2d60	some new shortcuts in Compute; no impressive results	2007-06-08 16:55:25 +00:00
aarne	333cf5e0e6	pattern matching optimization; trace of fun in compilation with -v	2007-06-08 12:50:01 +00:00
aarne	b24ecdfcba	syntax interfaces	2007-05-31 18:46:29 +00:00
aarne	d01dfff9d3	overload checking and messages; resource.txt modifs	2007-05-31 09:58:38 +00:00
aarne	1317c89fd4	started direct compiler from GF to GFCC	2007-05-15 16:35:13 +00:00
aarne	f40b784f16	param values for TInts in Canon.Look	2007-05-11 13:57:34 +00:00
aarne	283cf9900a	ids for GF rather than BNFC in AbsToBNF	2007-05-10 14:06:45 +00:00
bringert	94531fac8a	Added haskell_gadt -printer. It does not include a Compos instance yet, so it's not terribly useful.	2007-05-10 13:56:41 +00:00
aarne	6254f61d65	printing abs as BNF	2007-05-10 12:51:40 +00:00
aarne	0b4017bd50	removed the Str/Tok distinction in CheckGrammar - obsolete anyway.	2007-05-03 13:55:34 +00:00
bringert	aab4187aa8	Fixed use of -unlexer in EmbedAPI. Before, EmbedAPI.linearize ignored the flags in the grammar.	2007-04-21 16:20:02 +00:00
bringert	91c7b22e8c	Nicer formatting of generated GSL.	2007-03-27 10:21:16 +00:00
bringert	896233c4a9	Remove all empty SLF nodes, don't care about edge explosion. Empty nodes are pprobably worse than lots of edges.	2007-03-26 17:36:58 +00:00
bringert	651697982b	Use EBNF compaction for GSL.	2007-03-26 14:51:24 +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	d35727631c	Comments only.	2007-03-25 11:26:03 +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	0058f6281f	Better debugging output when SRG generation crashes because of a missing category.	2007-03-24 17:26:21 +00:00
bringert	0eac3f6b58	Remove removeIdenticalRules, since it would get rid of alternative parse results.	2007-03-20 22:09:17 +00:00
bringert	fe73354cc6	Do the same initial transformations as for CFGs when generating FAs: remove cycles, identical rules and down top-down and bottom-up filtering.	2007-03-20 22:00:50 +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