diff -r 65e786a58365 -r a73b2e553804 ChengsongPhdThesis/regex_time_complexity.bib
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/ChengsongPhdThesis/regex_time_complexity.bib	Wed Mar 02 23:13:59 2022 +0000
@@ -0,0 +1,66 @@
+%% This BibTeX bibliography file was created using BibDesk.
+%% https://bibdesk.sourceforge.io/
+
+%% Created for CS TAN at 2022-02-22 23:40:24 +0000 
+
+
+%% Saved with string encoding Unicode (UTF-8) 
+
+
+
+@article{SulzmannLu14,
+	author = {Martin Sulzmann, Kennie Zhuo Ming Lu},
+	date-added = {2022-02-22 23:36:08 +0000},
+	date-modified = {2022-02-22 23:40:23 +0000},
+	journal = {FLOPS},
+	title = {POSIX Regular Expression Parsing with Derivatives},
+	year = {2014},
+	bdsk-file-1 = {YnBsaXN0MDDSAQIDBFxyZWxhdGl2ZVBhdGhZYWxpYXNEYXRhXxAdcmVnZXgtcGFyc2luZy1kZXJpdmF0aXZlcy5wZGZPEQGoAAAAAAGoAAIAAAxNYWNpbnRvc2ggSEQAAAAAAAAAAAAAAAAAAAAAAAAAQkQAAf////8dcmVnZXgtcGFyc2luZy1kZXJpdmF0aXZlcy5wZGYAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA/////wAAAAAAAAAAAAAAAAABAAIAAAogY3UAAAAAAAAAAAAAAAAACXJlZ2V4X2JpYgAAAgBHLzpVc2Vyczpjc3RhbjpEcm9wYm94OldvcmtzcGFjZTpyZWdleF9iaWI6cmVnZXgtcGFyc2luZy1kZXJpdmF0aXZlcy5wZGYAAA4APAAdAHIAZQBnAGUAeAAtAHAAYQByAHMAaQBuAGcALQBkAGUAcgBpAHYAYQB0AGkAdgBlAHMALgBwAGQAZgAPABoADABNAGEAYwBpAG4AdABvAHMAaAAgAEgARAASAEVVc2Vycy9jc3Rhbi9Ecm9wYm94L1dvcmtzcGFjZS9yZWdleF9iaWIvcmVnZXgtcGFyc2luZy1kZXJpdmF0aXZlcy5wZGYAABMAAS8AABUAAgAM//8AAAAIAA0AGgAkAEQAAAAAAAACAQAAAAAAAAAFAAAAAAAAAAAAAAAAAAAB8A==}}
+
+@article{Thompson_1968,
+	author = {Ken Thompson},
+	date-added = {2022-02-22 23:24:32 +0000},
+	date-modified = {2022-02-22 23:24:32 +0000},
+	doi = {10.1145/363347.363387},
+	journal = {Communications of the {ACM}},
+	month = {jun},
+	number = {6},
+	pages = {419--422},
+	publisher = {Association for Computing Machinery ({ACM})},
+	title = {Programming Techniques: Regular expression search algorithm},
+	url = {https://doi.org/10.1145%2F363347.363387},
+	volume = {11},
+	year = 1968,
+	bdsk-url-1 = {https://doi.org/10.1145%2F363347.363387},
+	bdsk-url-2 = {https://doi.org/10.1145/363347.363387}}
+
+@article{Baeza_Yates_1996,
+	author = {Ricardo A. Baeza-Yates and Gaston H. Gonnet},
+	date-added = {2022-02-22 22:54:46 +0000},
+	date-modified = {2022-02-22 22:54:46 +0000},
+	doi = {10.1145/235809.235810},
+	journal = {Journal of the {ACM}},
+	month = {nov},
+	number = {6},
+	pages = {915--936},
+	publisher = {Association for Computing Machinery ({ACM})},
+	title = {Fast text searching for regular expressions or automaton searching on tries},
+	url = {https://doi.org/10.1145%2F235809.235810},
+	volume = {43},
+	year = 1996,
+	bdsk-url-1 = {https://doi.org/10.1145%2F235809.235810},
+	bdsk-url-2 = {https://doi.org/10.1145/235809.235810}}
+
+@article{BaezaYates96,
+	author = {Baeza-Yates, Ricardo A.; Gonnet, Gaston H.},
+	date-added = {2022-02-22 22:43:23 +0000},
+	date-modified = {2022-02-22 22:51:43 +0000},
+	journal = {J. ACM},
+	number = {no. 6},
+	pages = {915--936.},
+	rss-description = {MR1434907 68Q25 (68P05) 
+Baeza-Yates, Ricardo A.; Gonnet, Gaston H. Fast text searching for regular expressions or automaton searching on tries. J. ACM 43 (1996), no. 6, 915--936.},
+	title = {Fast text searching for regular expressions or automaton searching on tries.},
+	volume = {43 (1996)},
+	year = {1996},
+	bdsk-file-1 = {YnBsaXN0MDDSAQIDBFxyZWxhdGl2ZVBhdGhZYWxpYXNEYXRhXxAmcHRyZWVzX3N1YmxpbmVhcl9yZWdleDk2QmFlemVZYXRlcy5wZGZPEQHKAAAAAAHKAAIAAAxNYWNpbnRvc2ggSEQAAAAAAAAAAAAAAAAAAAAAAAAAQkQAAf////8fcHRyZWVzX3N1YmxpbmVhcl9yI0ZGRkZGRkZGLnBkZgAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA/////wAAAAAAAAAAAAAAAAABAAIAAAogY3UAAAAAAAAAAAAAAAAACXJlZ2V4X2JpYgAAAgBQLzpVc2Vyczpjc3RhbjpEcm9wYm94OldvcmtzcGFjZTpyZWdleF9iaWI6cHRyZWVzX3N1YmxpbmVhcl9yZWdleDk2QmFlemVZYXRlcy5wZGYADgBOACYAcAB0AHIAZQBlAHMAXwBzAHUAYgBsAGkAbgBlAGEAcgBfAHIAZQBnAGUAeAA5ADYAQgBhAGUAegBlAFkAYQB0AGUAcwAuAHAAZABmAA8AGgAMAE0AYQBjAGkAbgB0AG8AcwBoACAASABEABIATlVzZXJzL2NzdGFuL0Ryb3Bib3gvV29ya3NwYWNlL3JlZ2V4X2JpYi9wdHJlZXNfc3VibGluZWFyX3JlZ2V4OTZCYWV6ZVlhdGVzLnBkZgATAAEvAAAVAAIADP//AAAACAANABoAJABNAAAAAAAAAgEAAAAAAAAABQAAAAAAAAAAAAAAAAAAAhs=}}