From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by c5ff346549e7 (Postfix) with ESMTPS id D87555D5 for ; Mon, 22 Mar 2021 17:54:36 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.81,269,1610406000"; d="scan'208";a="499331571" Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160]) by mail2-relais-roc.national.inria.fr with ESMTP; 22 Mar 2021 18:54:35 +0100 Received: by sympa.inria.fr (Postfix, from userid 20132) id 6B6D4E0330; Mon, 22 Mar 2021 18:54:35 +0100 (CET) Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id D0565E01C3 for ; Mon, 22 Mar 2021 18:54:30 +0100 (CET) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=aravara@fct.unl.pt; spf=Pass smtp.mailfrom=aravara@fct.unl.pt; spf=None smtp.helo=postmaster@mail-wr1-f52.google.com IronPort-PHdr: =?us-ascii?q?A9a23=3AwisOnB8Zg87dCv9uWe67ngc9DhMPi/DPJgcQr6A?= =?us-ascii?q?foPdwSMyLwZ3uMQTl6Ol3ixeRBMOHsqMC0raK+Pm4AiQp2tWoiDg6aptCVhsI2?= =?us-ascii?q?409vjcLJ4q7M3D9N+PgdCcgHc5PBxdP9nC/NlVJSo6lPwWB6nK94iQPFRrhKAF?= =?us-ascii?q?7Ovr6GpLIj8Swyuu+54Dfbx9HiTagZb5+Ngi6oAreu8UZnIduNqg8wQbVr3VVf?= =?us-ascii?q?Ohb2XlmLk+JkRbm4cew8p9j8yBOtP8k6sVNT6b0cbkmQLJBFDgpPHw768PttRn?= =?us-ascii?q?YUAuA/WAcXXkMkhpJGAfK8hf3VYrsvyTgt+p93C6aPdDqTb0xRD+v4btnRAPuh?= =?us-ascii?q?SwaLDMy7n3ZhdJsg6JauBKhpgJww4jIYIGOKfFyerrRcc4GSWZdW8pcUTFKDIG?= =?us-ascii?q?hYIsVF+cPPftWoZf+qVUAoxSxChWjCuz0xz9UhXL7x7E23/gvHAzE2gErAtIAs?= =?us-ascii?q?G7TrNXwLKofTea1zLXPzTXFbvNW3ir25pTSfRA/u/6MR6h/etfWxEY1DQPKlEu?= =?us-ascii?q?Qppb/PzyPzekNvXSU7/Z6WeKyjW4nrxt9oiCzxso1jITCm40axEze+ypj3IY1O?= =?us-ascii?q?cO3SFR9YdO8DpZcqyWXOoprT84sQ2xlpSY3x6EatJO5fSUEyJcqywLDZvCbbYW?= =?us-ascii?q?F/wzuWeaNLTp4i3xoZL2xihWw/EWv1OHxUs+520tEoCpCl9nDrHEN1xrL58iaT?= =?us-ascii?q?Pt9+l2t2S6T1wzL5eFEIFw0la7BJJE62LI/ip0TsUHFEyTrm0v2lLebels49uW?= =?us-ascii?q?s8ejqYbXrqoWCO4Nqlw3yKKQjltKnDegmLgQCQ3WX9OG/2bL54UH0RbRHg/M1n?= =?us-ascii?q?6bEtZ3VO8sWqrKlDwJQ0Isu5BayAjmj3dkYg3ULMFxIdReZg4XnO1zOLvX1APa?= =?us-ascii?q?jj1uwizhmwe3NMKf7DZXXNHfDla/sfbZj5E5Yzwo+1dVf6IhVCrEFOf7yVFXxu?= =?us-ascii?q?MHBAh83MwG43fzrCNp61oMZVmKPBrGWPLnOvl+P4+IjO+iMZIkLtzbhM/Up+eL?= =?us-ascii?q?igHsjlVIefaSlx4UbZG6lEvh8I0iVf2LggtIbHmcLugo+QvbqiFqHUTNLfXmyR?= =?us-ascii?q?bgz5i8hB4K8F4jOXY6tj6Cd3CuhA51WYGRGBkqUEXf0b4mEQesDaDqOIs99lTw?= =?us-ascii?q?JTaSuRJUk1RGqrQP6z7tnLvHI+iADrpLi1N115/XJmh0o9Dx0Cd6d02CXQG1uk?= =?us-ascii?q?GMIXWx+4Kcqmm1S7nCslI1VptZ1L+d7w9JybjwXD6Ca5sdfTffIdUaJRfamY22?= =?us-ascii?q?LB/CLJBscdOkZ5/41X31QIevkpzvmmQ2QLPtdmbnODZoy9b/a1HX0KsBh0F7C1?= =?us-ascii?q?bI9lB8gS9BGc2KhmOo3/AHWA8vNkl6Fv6esb6UVmiDXp0mZym/blUdEVwhxVu3?= =?us-ascii?q?/VG4WfEKe+d3j713LVbaGB787dBZHzYiaNv0ZOZXSkVxaSaK7a5zlaGWrljL1X?= =?us-ascii?q?E7Qrpu8KbHycmBY5x3zTU0NkgQd53GDXSAwDTvnvmTaSiRyRwuHS3OpyvF3rTa?= =?us-ascii?q?AdmFxzwyOaCVJ0rO0/lsKn6XZRa5JmL0DvyglpnN/G1Pvh7r+O5+7vwNkOZ5kT?= =?us-ascii?q?5Yl+l4v/WzSq0pgOJjmN7ww3jYj?= IronPort-HdrOrdr: =?us-ascii?q?A9a23=3ANtLV46+fblLUPx/rkUluk+HFdb1zdoIgy1kn?= =?us-ascii?q?xilNYDZeG/bo8/yGtvIdyBPylXI1UHYvhdiPNMC7MAnh3LRy5pQcOqrnYRLvv3?= =?us-ascii?q?GmIJonwYzpxTDhHCOWzJ8h6Y5Lda9iBNrsSWVrlMqS2njCL/8M4vmitJqpi+DX?= =?us-ascii?q?0mt3QWhRAZ1Iwg9lBm+gYytLbSZcA55RLuv+2uNihx6NPUsadd66AH5tZZm6m/?= =?us-ascii?q?TumIj9aRALQz4LgTP+6g+A07LxHxiG0hp2aVomqtcf2FPIjhDj4eGbu+y7oyW8?= =?us-ascii?q?60bo859UlNH9o+EzZvCkt859EESIti+Vfoh7H5WNsDcpydvfkWoCoZ3jp1MFM9?= =?us-ascii?q?5o433cOlupqQbgsjON7B8er1Hlz1GcjT/Pg+zcAAg7Bc1ImJ5DfnLihnYIjZVT?= =?us-ascii?q?1qRE2m7cjZ5LFFf7mjjn7dSgbX5Xv3vxmnYpne4Ng3E3a+UjVIM=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0BBFwA52VhgfzTdVdFaHgEBCxIMQIElA?= =?us-ascii?q?QEBASkBgTsCAQEBAQ+BTldqhEKIJohxLYhukXmBewsBAwELAQEFAhYLCgIEAQG?= =?us-ascii?q?EUIF/Ah0HAQQ4Ag0CEAEBBQEBAQIBAwMEARMBAQ0LCwgnhWoNQwEQAYFjKQGDZ?= =?us-ascii?q?QUBEBEPAQUIAQESJQE0Ah8HAgI0AQUBIwwIAQEegk4BgwcBDp8vgQQ9ijd3gTK?= =?us-ascii?q?DBAEBBoEzAYRSgTsJCQEIfSgDAQEBAQGJS4J5dwImHIFJQoERJwwDgjYCiEKCY?= =?us-ascii?q?IIXSoEMCg0BL4JFkDRElQmUGoMQBIdkgW6HY4sVBQofk3qQRYFBji+FEYtdkjy?= =?us-ascii?q?EYAIKBwYQI4FfgWUzGggwgj9lCUcZDVaNSTaDOYVhhHhBMgI2AgYBCQEBAwlYI?= =?us-ascii?q?4gyhi4BAQ?= X-IPAS-Result: =?us-ascii?q?A0BBFwA52VhgfzTdVdFaHgEBCxIMQIElAQEBASkBgTsCAQE?= =?us-ascii?q?BAQ+BTldqhEKIJohxLYhukXmBewsBAwELAQEFAhYLCgIEAQGEUIF/Ah0HAQQ4A?= =?us-ascii?q?g0CEAEBBQEBAQIBAwMEARMBAQ0LCwgnhWoNQwEQAYFjKQGDZQUBEBEPAQUIAQE?= =?us-ascii?q?SJQE0Ah8HAgI0AQUBIwwIAQEegk4BgwcBDp8vgQQ9ijd3gTKDBAEBBoEzAYRSg?= =?us-ascii?q?TsJCQEIfSgDAQEBAQGJS4J5dwImHIFJQoERJwwDgjYCiEKCYIIXSoEMCg0BL4J?= =?us-ascii?q?FkDRElQmUGoMQBIdkgW6HY4sVBQofk3qQRYFBji+FEYtdkjyEYAIKBwYQI4Ffg?= =?us-ascii?q?WUzGggwgj9lCUcZDVaNSTaDOYVhhHhBMgI2AgYBCQEBAwlYI4gyhi4BAQ?= X-IronPort-AV: E=Sophos;i="5.81,269,1610406000"; d="scan'208";a="376501234" X-MGA-submission: =?us-ascii?q?MDEVBlQC8qs9yL1iJW15uUxBFJwQQfxc1PqWCC?= =?us-ascii?q?YQb7mRPKDxVumG+eobxf3fQ7s/WdzYl9qAhh+SzzTSqmnBzwAdA9+0tW?= =?us-ascii?q?jD7u3zsaFSu5jpfLDmV4AKRBTzZrCtJOdHp+PEnL3+qEOSuaqcxujcEK?= =?us-ascii?q?8nqYt6sdx2l3S//0jcfkmEQQ=3D=3D?= Received: from mail-wr1-f52.google.com ([209.85.221.52]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES256-GCM-SHA384; 22 Mar 2021 18:54:28 +0100 Received: by mail-wr1-f52.google.com with SMTP id x13so18083081wrs.9 for ; Mon, 22 Mar 2021 10:54:28 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=fct.unl.pt; s=googlefct; h=from:subject:to:cc:message-id:date:user-agent:mime-version :content-language:content-transfer-encoding; bh=6AmJgmlyE6LeMjwRoYjzdpOAp/EW5wCNBjmkqe7REbU=; b=ImPPKt5qVZRdQBBXtGPaGm1AdM6GhYZB/77enqPuB01BRYAowI3ja5kU6d5cL4jb6I FUMKk5kaqC1Cyrufc1N9a3MyX6pW2UJlWKLXwQpqdL3Mk4cW93P13J+DpPV7Vx70Nca2 tv2mU9Heg/s3YskyeRwxNs6BbJUc26Imb22auEjqPiZb38NxVZRNLlGpGXme5ECJ512g 4ZwdlrpklzSGCQlSPYRj+9mdQ97QgVc0+pCgY0qEQtN243ye7YPms0ZjGKKGte3yQfni XiBNaB4IdXPhjG5URWaw+GMORV8uSGpMiahzntE+mumi8H4IlN4yHgEHb1yWn1OaEBOF uo5w== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:from:subject:to:cc:message-id:date:user-agent :mime-version:content-language:content-transfer-encoding; bh=6AmJgmlyE6LeMjwRoYjzdpOAp/EW5wCNBjmkqe7REbU=; b=ZlzKqL0TIGeIGarlwwaclVOhQPONkvlkJTA7o7oP0uwLXLJBrW9MmM3kKuhCqSfcdA 5oqIN8mBEUGe+8QzDZRPh+JrLciDrgln70vQkCm6ixN0epWZOAPQugjXNLWo0B3tbdsU EBIUWE++FesGghp4AVdd3mgmIdMmELPNubwSFlAMWOtxNTXzsHnbN6zM6R7mSanhu1gD RjdYBPMWy53eCcWSx/Kx1uJgaGFYrn4CH16Xq3nwlnNnIN0I0hkKfwbOTSQbxQ0bSeF0 rYqdLQe26z0UTlon41kzWhxadSX8d44ZK7LAd/agJgZIDGo6OYcsfpk4hpdBeIpHjGUM EcLg== X-Gm-Message-State: AOAM533zsNQefWn6ZNEN6mfSFX+rAUAwc31q2+ZA5+sBox3ivxvYvbQA rLv3oS+e81FbqEhatJbdc5HRs1BF7oc834Jp X-Google-Smtp-Source: ABdhPJxq+plSkOALBdWf1B/Zi+ZLVVooFIMyPrDH0gHLMmFPzDfQNI4NtGEZNpWOQwrG4XEGFmfq7A== X-Received: by 2002:a5d:42d2:: with SMTP id t18mr751624wrr.258.1616435667716; Mon, 22 Mar 2021 10:54:27 -0700 (PDT) Received: from Antonios-MBP.Home ([2001:8a0:638d:e400:7453:5203:235f:60cb]) by smtp.gmail.com with ESMTPSA id 91sm22593824wrl.20.2021.03.22.10.54.26 (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Mon, 22 Mar 2021 10:54:27 -0700 (PDT) From: Antonio Ravara To: SIGLOG-MEMBERS@LISTSERV.ACM.ORG, SIGCSE-MEMBERS@LISTSERV.ACM.ORG, fm-announcements@lists.nasa.gov, caml-list@inria.fr Cc: Artur Miguel Dias , =?UTF-8?Q?Sim=c3=a3o_Melo_de_Sousa?= , Rita Macedo Message-ID: Date: Mon, 22 Mar 2021 17:54:26 +0000 User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.13; rv:78.0) Gecko/20100101 Thunderbird/78.8.1 MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8; format=flowed Content-Language: en-GB Content-Transfer-Encoding: 8bit Subject: [Caml-list] Annoucement of OFLAT, a web-based platform to support courses on Formal Languages and Automata Theory Reply-To: Antonio Ravara X-Loop: caml-list@inria.fr X-Sequence: 18439 Errors-To: caml-list-owner@inria.fr Precedence: list Precedence: bulk Sender: caml-list-request@inria.fr X-no-archive: yes List-Id: List-Help: List-Subscribe: List-Unsubscribe: List-Post: List-Owner: List-Archive: Archived-At: http://ctp.di.fct.unl.pt/FACTOR/OFLAT/ To support students’ autonomous work on topics related with Formal Languages and Automata Theory (FLAT), interactive tools that allow them to experiment with examples and solve exercises are very important - several studies demonstrate this. There are applications with this aim. While some are impressively complete, but are mainly Desktop applications (like JFLAP), others that can be used via a web browser are under-developed. Moreover, these applications are often not fully interactive - illustrations or even step-by-step execution is key to understand the algorithms - and, due to the programming languages used, implement the concepts in a way quite distant from the textbook Mathematical definitions. Code that implements closely the definitions is also a relevant pedagogical tool. With three concerns in mind - availability in mobile devices, interactive run of the algorithms (or at least presenting clear explanations), and code following closely the definitions - we developed OFLAT, a web-based tool to represent and illustrate graphically classical mechanisms and algorithms of Formal Languages and Automata Theory. It includes not only exercises evaluated automatically and providing feedback, but also allows students to create their own exercises. An integration with a grading platform like Learn-OCaml is underway. The tool is implemented in OCaml and is organised in two parts: a library - OCamlFLAT - which concentrates the logic of FLAT concepts, and the interactive applicational part - OFLAT. To run on browsers, the application uses the OCaml to Javascript translator Js_of_OCaml. To implement the interactive graphics, it uses Cytoscape, a Javascript library for graphs. All code is available in the Git of the project: https://gitlab.com/releaselab/leaf/OCamlFlat, https://git lab.com/releaselab/leaf/OFLAT. The development of new functionalities is ongoing (we're now working more animations and on Context-Free Grammar and Pushdown Automata). Comments most welcome. Kind regards, António Ravara (on behalf of the team)