{"id":23296798,"url":"https://github.com/peplxx/autofsa","last_synced_at":"2025-10-25T02:04:20.134Z","repository":{"id":222866176,"uuid":"758562878","full_name":"peplxx/AutoFSA","owner":"peplxx","description":"Verification and vizualization tool for fsa's","archived":false,"fork":false,"pushed_at":"2024-02-27T10:30:57.000Z","size":18,"stargazers_count":1,"open_issues_count":0,"forks_count":0,"subscribers_count":1,"default_branch":"main","last_synced_at":"2025-09-08T03:48:05.899Z","etag":null,"topics":["computer-sience","fsa","fst","graphviz","graphviz-dot"],"latest_commit_sha":null,"homepage":"","language":"Python","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"mit","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/peplxx.png","metadata":{"files":{"readme":"README.md","changelog":null,"contributing":null,"funding":null,"license":"LICENSE","code_of_conduct":null,"threat_model":null,"audit":null,"citation":null,"codeowners":null,"security":null,"support":null,"governance":null,"roadmap":null,"authors":null,"dei":null,"publiccode":null,"codemeta":null}},"created_at":"2024-02-16T15:34:57.000Z","updated_at":"2024-02-16T20:57:37.000Z","dependencies_parsed_at":"2025-02-13T01:51:12.106Z","dependency_job_id":"05d68a4f-d000-4d7d-9c3f-f3ead23e569f","html_url":"https://github.com/peplxx/AutoFSA","commit_stats":null,"previous_names":["peplxx/autofsa"],"tags_count":0,"template":false,"template_full_name":null,"purl":"pkg:github/peplxx/AutoFSA","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/peplxx%2FAutoFSA","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/peplxx%2FAutoFSA/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/peplxx%2FAutoFSA/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/peplxx%2FAutoFSA/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/peplxx","download_url":"https://codeload.github.com/peplxx/AutoFSA/tar.gz/refs/heads/main","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/peplxx%2FAutoFSA/sbom","scorecard":null,"host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":280893614,"owners_count":26409280,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2022-07-04T15:15:14.044Z","status":"online","status_checked_at":"2025-10-25T02:00:06.499Z","response_time":81,"last_error":null,"robots_txt_status":"success","robots_txt_updated_at":"2025-07-24T06:49:26.215Z","robots_txt_url":"https://github.com/robots.txt","online":true,"can_crawl_api":true,"host_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories","repository_names_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repository_names","owners_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners"}},"keywords":["computer-sience","fsa","fst","graphviz","graphviz-dot"],"created_at":"2024-12-20T07:15:11.766Z","updated_at":"2025-10-25T02:04:20.105Z","avatar_url":"https://github.com/peplxx.png","language":"Python","funding_links":[],"categories":[],"sub_categories":[],"readme":"## AutoFSA\n\nThis repository contains Tool for verification and visualization of FAS's.\n\n### Setup\n\n1. Clone the repository:\n      ```git clone https://github.com/peplxx/AutoFSA.git```\n   \n\n2. Install graphviz library:\n      ```pip install graphviz```\n\n3. Install [graphviz](https://www.graphviz.org/download/)\n   \n\n4. Write and run your code\n   \n   For clarification see examples.\n   \n\n### Features\n- Provides functionality to create a Finite State Automaton (FSA).\n- Support of 'and' and 'or' operations under two different fsa's.\n- Allows definition of a different language set for the FSA.\n- Includes methods to add start nodes, end nodes, and connecting edges between nodes with specific language components.\n- Capable of rendering the FSA graph using graphviz library in various output formats (e.g., jpg).\n- Checks for completeness of the FSA graph structure.\n- Offers a clean and structured design for handling complex FSA workflows.\n- Config for customization for different statuses of nodes.\n\n\n### Gallary\n* Green means entry node, red means end nodes\n  \nFSA Specification             |  Visualization\n:-------------------------:|:-------------------------:\n![image](https://github.com/peplxx/AutoFSA/assets/91543105/2bcefdd2-501b-485b-b4a4-0358429a3a42)  |  ![fsa1](https://github.com/peplxx/AutoFSA/assets/91543105/c618b100-e095-48be-bbe1-24134246d21e)\n![image](https://github.com/peplxx/AutoFSA/assets/91543105/9bab6893-aec3-462c-b5c2-b17a6835075d) |  ![fsa2](https://github.com/peplxx/AutoFSA/assets/91543105/f97b375c-4318-44fc-b32c-dced907fc610)\n![image](https://github.com/peplxx/AutoFSA/assets/91543105/46d56e9f-7782-48cf-ba34-d08f18cd8c8b) | ![fsa1 or fsa2](https://github.com/peplxx/AutoFSA/assets/91543105/fa403e3c-81b2-4b4b-b3d2-4f7016d71dd7)\n![image](https://github.com/peplxx/AutoFSA/assets/91543105/df4d75a7-d6e1-444b-985f-a456e6a1916d) | ![fsa1 and fsa2](https://github.com/peplxx/AutoFSA/assets/91543105/47173ee4-c84a-4af3-910a-a0c863efec12)\n![image](https://github.com/peplxx/AutoFSA/assets/91543105/85d98d43-f9fd-49a7-ac30-688e2be2fa11) | ![WordsFSA](https://github.com/peplxx/AutoFSA/assets/91543105/cc5ecce7-8f99-415e-9fc7-e7dd6b1ed7d1)\n\n\n\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fpeplxx%2Fautofsa","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fpeplxx%2Fautofsa","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fpeplxx%2Fautofsa/lists"}